Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Post-doc position at Université de Montpellier


view this post on Zulip Email Gateway (Jan 03 2023 at 11:11):

From: Simon Robillard <simon.robillard@umontpellier.fr>
Dear all,

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.

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.

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.

Please contact me <simon.robillard@umontpellier.fr> for further information about the position and the application process.

Best,


Last updated: Mar 28 2024 at 04:17 UTC