168 proof-checking-postdoc-computer-science-logic PhD positions at CNRS

Filters Search
  • CNRS | Moulis en Medoc, Aquitaine | France | 30 days ago

    Application Deadline 23 Oct 2025 - 23:59 (UTC) Type of Contract Temporary Job Status Full-time Hours Per Week 35 Offer Starting Date 5 Jan 2026 Is the job funded through the EU Research Framework Programme? Not

  • CNRS | Strasbourg, Alsace | France | 16 days ago

    Deadline 8 Nov 2025 - 23:59 (UTC) Type of Contract Temporary Job Status Full-time Hours Per Week 35 Offer Starting Date 1 Feb 2026 Is the job funded through the EU Research Framework Programme? Not funded by

  • CNRS | Limoges, Limousin | France | 30 days ago

    3 Oct 2025 Job Information Organisation/Company CNRS Department Institut de recherche sur les céramiques Research Field Chemistry Physics Technology Researcher Profile First Stage Researcher (R1

  • CNRS | Nice, Provence Alpes Cote d Azur | France | about 2 months ago

    of proof assistant technology capable of understanding the dynamical linguistic structures found in current high-level mathematical texts. The project includes the study of interpretation mechanisms

  • CNRS | Montpellier, Languedoc Roussillon | France | 16 days ago

    18 Oct 2025 Job Information Organisation/Company CNRS Department Institut de Génétique Humaine Research Field Chemistry » Biochemistry Physics » Biophysics Biological sciences » Biological

  • CNRS | Thiais, le de France | France | about 1 month ago

    Alpes, the program aims to formalize a new science of risk in order to contribute to the development of a national strategy for disaster and risk management in the context of global change. The PhD

  • CNRS | Villefranche sur Mer, Provence Alpes Cote d Azur | France | about 1 month ago

    25 Sep 2025 Job Information Organisation/Company CNRS Department Laboratoire de Biologie du développement de Villefranche-sur-Mer Research Field Biological sciences Biological sciences » Biology

  • CNRS | Strasbourg, Alsace | France | about 1 month ago

    23 Sep 2025 Job Information Organisation/Company CNRS Department Institut Pluridisciplinaire Hubert Curien Research Field Chemistry Physics Researcher Profile First Stage Researcher (R1) Country

  • CNRS | Versailles, le de France | France | about 1 month ago

    2 Oct 2025 Job Information Organisation/Company CNRS Department Institut Lavoisier de Versailles Research Field Chemistry Physics Technology Researcher Profile First Stage Researcher (R1) Country

  • CNRS | Toulouse, Midi Pyrenees | France | about 2 months ago

    13 Sep 2025 Job Information Organisation/Company CNRS Department Unité de biologie moléculaire, cellulaire et du développement Research Field Biological sciences Biological sciences » Biology

Searches related to proof checking postdoc computer science logic

Enter an email to receive alerts for proof-checking-postdoc-computer-science-logic positions