Postdoctoral position at Université de Mon tpellier
Simon Robillard <[email protected]> Mon, 22 May 2023 17:31:57 +0200 (CEST)
| Newsgroups | gmane.comp.lang.agda,gmane.science.mathematics.logic.coq.club,gmane.comp.lang.ocaml.jobs,gmane.science.mathematics.prooftheory |
|---|---|
| Message-ID | <[email protected]> |
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:[email protected] | [email protected] ] with a resume. Application is open until June 23rd. Best regards, -- Simon Robillard Maître de conférence -- Associate professor Université de Montpellier _______________________________________________ Agda mailing list [email protected] https://lists.chalmers.se/mailman/listinfo/agda