---------- Forwarded message --------- De: Anna Zamansky < <walte...@unicamp.br>
Dear Friends, Hope all is well with you! Can you please forward to anyone interested in positions in Yoni Zohar's project on SMT at Bar-Ilan University? Thank you! Anna ---------- Formal Methods and Automated Reasoning Department of Computer Science, Bar-Ilan University Israel Postdoctoral and PhD Positions This is a call for interest for PhD and postdoctoral research at Yoni Zohar’s group in Bar-Ilan University. The positions will focus on Satisfiability Modulo Theories (SMT) methods for verification of smart contracts, as well as for bit-precise reasoning. The work will be done in collaboration with the University of Iowa and Stanford University. Qualifications: The ideal applicants would have: * strong programming skills * a strong publication record in formal methods * experience in conducting practical or theoretical research in automated reasoning Interested applicants should send their CV, including a list of publications, in PDF to yoni.zo...@biu.ac.il together with the names of at least two references. Starting date is planned for 2022-2023. -- Anna Zamansky Associate Professor Department of Information Systems University of Haifa Personal Web: mis.hevra.haifa.ac.il/~annazam Lab Web: http://www.tech4animals.org -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logica-l@dimap.ufrn.br> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLeQMLVdjA4YDX-Dz8TRegUFFx93US%2BdMz2bidhdbmZj-A%40mail.gmail.com.
