[TYPES/announce] Fully remote postdoc positions at Bar-Ilan University on SMT

[Yoni]

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$ >oni.zohar at biu.ac.il together
with the names of at least two references.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20240911/2ff9ea2e/attachment-0001.htm>