Open positions in SMT Project in Israel

7 views

Skip to first unread message

Walter Carnielli

unread,

May 4, 2022, 6:56:05 AM5/4/22

to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA

---------- Forwarded message ---------
De: Anna Zamansky < <walt...@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....@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