Postdoctoral Researcher in Type Theory for Dynamic Languages M/F

A postdoctoral position at Institut de Recherche en Informatique Fondamentale, a CNRS laboratory in Paris 13 (Paris), from the CNRS job portal. Contract: Researcher in FTC, 12 months. Research area: Information sciences: bases of information technology, calculations, algorithms, representations, uses. Starts 1 November 2026. Pay: According to CNRS salary scale (2 to 7 years post-doctoral experience), From 3131€ grossly per month. Applications close on 1 November 2026, French time. Offer reference UMR8243-LAUPIN-002.