[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
This is a call for interest for postdoctoral research at Yoni Zohar’s group
at Bar-Ilan University, Israel.
The position focuses on Satisfiability Modulo Theories (SMT) and proofs.
The work will be done in collaboration with the University of Iowa and
Stanford University.
This position can be fully remote.
Qualifications:
The ideal applicants would have:
* good programming skills
* 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 y
<https://urldefense.com/v3/__https://groups.google.com/__;!!IBzWLUs!WNyRpAIIFy9ewphXk0cd-6JbT35aSoP1m09bWc_wqn2a0SJstfFg4wVWuKgzRIvFPk_hAmW7UFCQ6LGb_gGlC1bW44gHzg$
>[email protected] together
with the names of at least two references.
