Postdoctoral Researcher in Programming Languages

Postdoc in Programming Languages.The Research Institute on the Foundations of Computer Science (IRIF) in Paris is collaborating with José Valim, the author of the Elixir language, to extend the semantic-subtyping type system already shipping in the official compiler to cover Elixir's module system — bringing gradual typing and set-theoretic types to a language now running in production at companies like Apple, Discord, PepsiCo, BBC, Adobe, and Spotify.The project is carried out in collaboration with Dashbit and Remote.12 months (extendable), starting November 2026, CNRS salary scale.If you have or will soon to have a PhD in CS, a strong research background in functional languages and type systems, and want your research to ship in a real-world compiler used by tens of thousands of developers — read on:https://www.irif.fr/~gc/postdocElixirModules.en.htmlContact: Giuseppe Castagna (Giuseppe.Castagna@irif.fr)