[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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 [email protected] together with the names of at
least two references.
Starting date is planned for 2022.
