From: Simon Robillard <simon.robillard@umontpellier.fr>
Dear all,
The Université de Montpellier is funding an 18-month post-doctoral position at the LIRMM research department, to start in September 2023.
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.
For more details about the project and the position: [ https://simon-robillard.net/content/postdoc_verindex_2023.pdf | https://simon-robillard.net/content/postdoc_verindex_2023.pdf ]
To apply, please send a mail to [ mailto:simon.robillard@umontpellier.fr | simon.robillard@umontpellier.fr ] with a resume. Application is open until June 23rd.
Best regards,
Last updated: Jan 04 2025 at 20:18 UTC