PhD in Mathematics and Fundamental Computer Science

Centre National de la Recherche Scientifique

Posted: 26 September 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.

This PhD position at CNRS involves developing advanced proof assistants that combine linguistic elements with automated assistance for creating certified mathematical documents. The research will explore linear duality and algebraic effects within homotopy type theory, requiring strong knowledge in dependent type theory and programming languages. Candidates should have a good command of English and a basic level of French.

Position details

? These details are extracted from the source advert. Check the original posting for authoritative requirements and dates before applying.
  • Role: phd
  • Employment type: full time
  • Research field: Computer science
  • Research topic: Algorithms
  • Language: French
  • Start date: 1 November 2026
  • Application deadline: 14 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