Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Postdoctoral position at Université de Montpel...


view this post on Zulip Email Gateway (May 22 2023 at 15:34):

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: Apr 25 2024 at 20:15 UTC