38 proof-checking-postdoc-computerscience positions at CNRS

Filters Search
  • CNRS | Lens, Nord Pas de Calais | France | 2 months ago

    en Informatique de Lens. The CRIL is a research lab situated in Lens, specialized in different aspects of artificial intelligence. The aim of proof complexity is two-fold: originally, it was thought as

  • CNRS | Grenoble, Rhone Alpes | France | about 17 hours ago

    18 Sep 2026 Job Information Organisation/Company CNRS Department Systèmes moléculaires et nano matériaux pour l'énergie et la santé Research Field Chemistry Biological sciences Pharmacological sciences Researcher Profile First Stage Researcher (R1) Application Deadline 8 Oct 2026 - 23:59...

  • CNRS | Grenoble, Rhone Alpes | France | about 17 hours ago

    Research Professor), B. Harthong (Associate Professor) and J. Viguié (Research Engineer, LGP²), with strong interactions with the CTP, LGP2 and LaMCoS teams involved in the project. - Location: the postdoc

  • CNRS | Paris 05, le de France | France | 12 days ago

    missions operated by LATMOS. The postdoc will employ deep learning approaches using satellite data and ground stations. -Understanding the infrared data from the IASI mission and identifying the channels

  • CNRS | Palaiseau, le de France | France | about 2 months ago

    31 Jul 2026 Job Information Organisation/Company CNRS Department Centre de Nanosciences et de Nanotechnologies Research Field Physics Researcher Profile Recognised Researcher (R2) Application Deadline 20 Aug 2026 - 23:59 (UTC) Country France Type of Contract Temporary Job Status Full-time Hours...

  • CNRS | Paris 12, le de France | France | 2 months ago

    14 Jul 2026 Job Information Organisation/Company CNRS Department Institut de l'Audition Research Field Neurosciences Biological sciences Researcher Profile First Stage Researcher (R1) Application Deadline 3 Aug 2026 - 23:59 (UTC) Country France Type of Contract Temporary Job...

  • CNRS | Saint Aubin Routot, Haute Normandie | France | 3 months ago

    4 Jul 2026 Job Information Organisation/Company CNRS Department Astrophysique, Instrumentation, Modélisation Research Field Astronomy Researcher Profile Recognised Researcher (R2) Application Deadline 24 Jul 2026 - 23:59 (UTC) Country France Type of Contract Temporary Job Status Full-time Hours...

  • CNRS | Paris 05, le de France | France | 2 months ago

    17 Jul 2026 Job Information Organisation/Company CNRS Department Laboratoire de physique de l'ENS Research Field Physics Researcher Profile Recognised Researcher (R2) Application Deadline 6 Aug 2026 - 23:59 (UTC) Country France Type of Contract Temporary Job Status Full-time Hours Per...

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

    17 Jul 2026 Job Information Organisation/Company CNRS Department Laboratoire national des champs magnétiques intenses Research Field Physics Physics » Solid state physics Physics » Surface physics Researcher Profile First Stage Researcher (R1) Application Deadline 6 Aug 2026 - 23:59...

  • CNRS | Villeurbanne, Rhone Alpes | France | 3 months ago

    28 Jun 2026 Job Information Organisation/Company CNRS Department Institut de Physique des deux Infinis de Lyon Research Field Physics Researcher Profile First Stage Researcher (R1) Application Deadline 18 Jul 2026 - 23:59 (UTC) Country France Type of Contract Temporary Job Status Full-time Hours...

Searches related to proof checking postdoc computerscience

Enter an email to receive alerts for proof-checking-postdoc-computerscience positions