
<html><body><div style="font-family: sans serif; font-size: 12pt; color: #000000"><div>Dear all,<br data-mce-bogus="1"></div><div><br data-mce-bogus="1"></div><div>The Université de Montpellier is funding an 18-month post-doctoral position at the LIRMM research department, to start in September 2023.</div><div><br data-mce-bogus="1"></div><div>The position is open to candidates who hold (or will soon complete) a PhD in computer science, with a research background in automated reasoning, program verification, programming languages, or algorithms.<br data-mce-bogus="1"></div><div><br data-mce-bogus="1"></div><div>For more details about the project and the position: <a href="https://simon-robillard.net/content/postdoc_verindex_2023.pdf">https://simon-robillard.net/content/postdoc_verindex_2023.pdf</a><br></div><div><br data-mce-bogus="1"></div><div>To apply, please send a mail to <a href="mailto:simon.robillard@umontpellier.fr">simon.robillard@umontpellier.fr</a> with a resume. Application is open until June 23rd.<br data-mce-bogus="1"></div><div><br data-mce-bogus="1"></div><div>Best regards,<br data-mce-bogus="1"></div><div><br></div><div data-marker="__SIG_POST__">-- <br></div><div>Simon Robillard<br><br>Maître de conférence -- Associate professor<br>Université de Montpellier</div></div></body></html>