[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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
