[Agda] Postdoctoral position at Université de Montpellier

[Simon Robillard]

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 at umontpellier.fr | simon.robillard at umontpellier.fr ] with a resume. Application is open until June 23rd. 

Best regards, 

-- 
Simon Robillard 

Maître de conférence -- Associate professor 
Université de Montpellier 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20230522/819ecad6/attachment.html>