[TYPES/announce] Postdoc in Semantics at ENS de Lyon

[Michele Pagani]

Dear all,

I have an opening for a postdoctoral position at the LIP laboratory [1] at ENS de Lyon, focusing on the semantics of programming languages.

Specific topics of interest include probabilistic programming languages, differentiable programming, linear logic, and denotational semantics. However, the position is open to any applicant with a background in topics related to functional programming, lambda-calculus, types and the Curry-Howard correspondence.

The postdoc will be part of the Plume team [2] at LIP, working primarily with me, though interactions with other team members are welcome and encouraged.
The initial duration of the position is one year, with the possibility of extension by mutual agreement. 
The ideal starting date is on or around September 1, 2025.
The gross salary starts at €3,000 per month, depending on experience.
Interested candidates should send me an email with a CV and a short (1-2 page) research statement.
I will be happy to answer any informal inquiries regarding the position.
Review of applications will begin in May 2025 and will continue until the position is filled.
Best wishes,

Michele

[1] https://urldefense.com/v3/__https://www.ens-lyon.fr/LIP/__;!!IBzWLUs!Vck6Is3Mdy75uX15vZFqNGJZenXbdkOYhPxu3awIHCoRkIu5-eKudWehmIWnyB_M2j9QX4P6NvcOx3ZUuXFmw0qJF5zprkc88D5a_x48CpQ$ 
[2] https://urldefense.com/v3/__https://www.ens-lyon.fr/LIP/PLUME/__;!!IBzWLUs!Vck6Is3Mdy75uX15vZFqNGJZenXbdkOYhPxu3awIHCoRkIu5-eKudWehmIWnyB_M2j9QX4P6NvcOx3ZUuXFmw0qJF5zprkc88D5aTA2U15A$ 

PS: Let me also underline that another postdoctoral position at the LIP, open to all research themes of the laboratory, is closing soon. If you're interested, please take a look at: https://urldefense.com/v3/__https://www.ens-lyon.fr/LIP/index.php/useful-informations/open-positions/688-post-doc-lip-2025__;!!IBzWLUs!Vck6Is3Mdy75uX15vZFqNGJZenXbdkOYhPxu3awIHCoRkIu5-eKudWehmIWnyB_M2j9QX4P6NvcOx3ZUuXFmw0qJF5zprkc88D5aKU4asSA$ 



--------------------
Michele Pagani
Laboratoire de l’Informatique du Parallélisme
Département d’Informatique
ENS Lyon