PhD Student in Computer Science: Set-Theoretic Types for Dynamic Languages

Centre National de la Recherche Scientifique

Posted: 4 October 2026 - Paris 13, France

View on euraxess.ec.europa.eu Back to all openings

About this opening

? This summary is AI-generated from the source advert. Check the original posting for authoritative details before applying.

The position involves a PhD thesis on set-theoretic types for dynamic languages, supervised by CNRS researchers. The project includes collaboration with German partners and focuses on integrating static typing into dynamic languages like Elixir and Erlang.

Position details

? These details are extracted from the source advert. Check the original posting for authoritative requirements and dates before applying.
  • Role: phd student
  • Employment type: full time
  • Research field: Computer science
  • Research topic: Algorithms
  • Language: English
  • Start date: 1 December 2026
  • Application deadline: 23 October 2026

Related openings

More at Centre National de la Recherche Scientifique More in France More in Computer science More about Algorithms Browse all open jobs