Fwd: PhD and Postdoc Positions in Automated Reasoning at Bar-Ilan University

[Joao Marcos]

---------- Forwarded message ---------

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.