[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
The University of Orléans (France) is hiring an Associate Professor (Maître de
conférence, permanent position) in one of two possible profiles. One of them is
Semantics of Programming Languages. The candidate is expected to have expertise
in one or more of the following research areas :
- Models of programming langages
- Program correctness : static analysis, program proof (fataflow, abstract
interpretation, separation logic, ...)
- Proof assistants and certified programs
The candidate is expected to teach in French and must have obtain the
qualification
(https://www.galaxie.enseignementsup-recherche.gouv.fr/ensup/CNU_qualification.htm)
Contact : F. Dabrowski, head of the team LMV frederic.dabrow...@univ-orleans.fr
<mailto:frederic.dabrow...@univ-orleans.fr>
LMV : http://www.univ-orleans.fr/lifo/equipes/lmv/
Detailed profile :
https://www.univ-orleans.fr/lifo/pageactualites.php?id=13&lang=fr
