[TYPES/announce] Associate Professor Position in Orléans

[Frédéric Dabrowski]

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.dabrowski at univ-orleans.fr <mailto:frederic.dabrowski at 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20200228/19ee6d27/attachment.html>