
<html><body><div style="font-family: sans serif; font-size: 12pt; color: #000000"><div>Dear all,<br><br>This is an announcement for a post-doc position at Université de Montpellier. We are seeking candidates holding a PhD in computer science, and with expertise in program verification, particularly using proof assistants.<br><br>The aim of the project is to formally verify term indexing algorithms (as used for the implementation of automated theorem provers, logic and functional programming languages, and other symbolic computing applications), in order to produce verified and efficient implementations.<br><br>The successful candidate will be employed by Université de Montpellier, and will join the LIRMM research department. The position is for 18 months, starting on March 1st or later. The monthly salary before taxes is between 2674€ and 2762€. The working language can be either French or English.<br><br>Please contact me <simon.robillard@umontpellier.fr> for further information about the position and the application process.<br></div><div><br data-mce-bogus="1"></div><div>Best,<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>