<div dir="ltr"><div class="gmail_default" style="font-family:tahoma,sans-serif;font-size:small"><p style="color:rgba(0,0,0,0.87);font-family:Roboto,RobotoDraft,Helvetica,Arial,sans-serif;font-size:14px">This is a call for interest for postdoctoral research at Yoni Zohar’s group at Bar-Ilan University, Israel.<br></p><p style="color:rgba(0,0,0,0.87);font-family:Roboto,RobotoDraft,Helvetica,Arial,sans-serif;font-size:14px">The position focuses on Satisfiability Modulo Theories (SMT) and proofs. <br></p><p style="color:rgba(0,0,0,0.87);font-family:Roboto,RobotoDraft,Helvetica,Arial,sans-serif;font-size:14px">The work will be done in collaboration with the University of Iowa and Stanford University.</p><p style="color:rgba(0,0,0,0.87);font-family:Roboto,RobotoDraft,Helvetica,Arial,sans-serif;font-size:14px">This position can be fully remote.</p><p style="color:rgba(0,0,0,0.87);font-family:Roboto,RobotoDraft,Helvetica,Arial,sans-serif;font-size:14px"><br></p><p style="color:rgba(0,0,0,0.87);font-family:Roboto,RobotoDraft,Helvetica,Arial,sans-serif;font-size:14px">Qualifications:</p><p style="color:rgba(0,0,0,0.87);font-family:Roboto,RobotoDraft,Helvetica,Arial,sans-serif;font-size:14px">The ideal applicants would have:</p><p style="color:rgba(0,0,0,0.87);font-family:Roboto,RobotoDraft,Helvetica,Arial,sans-serif;font-size:14px">* good programming skills</p><p style="color:rgba(0,0,0,0.87);font-family:Roboto,RobotoDraft,Helvetica,Arial,sans-serif;font-size:14px">* strong publication record in formal methods</p><p style="color:rgba(0,0,0,0.87);font-family:Roboto,RobotoDraft,Helvetica,Arial,sans-serif;font-size:14px">* experience in conducting practical or theoretical research in automated reasoning</p><p style="color:rgba(0,0,0,0.87);font-family:Roboto,RobotoDraft,Helvetica,Arial,sans-serif;font-size:14px"><br></p><p style="color:rgba(0,0,0,0.87);font-family:Roboto,RobotoDraft,Helvetica,Arial,sans-serif;font-size:14px">Interested applicants should send their CV, including a list of publications, in PDF to<span class="gmail-Apple-converted-space"> </span><a href="https://urldefense.com/v3/__https://groups.google.com/__;!!IBzWLUs!WNyRpAIIFy9ewphXk0cd-6JbT35aSoP1m09bWc_wqn2a0SJstfFg4wVWuKgzRIvFPk_hAmW7UFCQ6LGb_gGlC1bW44gHzg$" rel="nofollow" style="text-decoration:none;color:rgb(26,115,232)">y</a><a href="mailto:oni.zohar@biu.ac.il">oni.zohar@biu.ac.il</a><span class="gmail-Apple-converted-space"> </span>together with the names of at least two references.</p></div></div>