[TYPES/announce] PhD and Postdoc Positions in Automated Reasoning at Bar-Ilan University

[Yoni]

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.zohar at biu.ac.il together with the names of at
least two references.


Starting date is planned for 2022.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20211201/ba69bd16/attachment-0001.htm>