56 proof-checking-postdoc-computerscience Postdoctoral positions at CNRS in France

  • CNRS | Villeurbanne, Rhone Alpes | France | about 4 hours ago

    1 Mar 2026 Job Information Organisation/Company CNRS Department Institut de Recherches sur la Catalyse et l'Environnement de Lyon Research Field Chemistry Physics Researcher Profile Recognised Researcher (R2) Application Deadline 21 Mar 2026 - 23:59 (UTC) Country France Type of...

  • CNRS | Lyon 08, Rhone Alpes | France | 5 days ago

    Description The postdoc will plan and conduct brain imaging studies on cue-reactivity, craving, and impulsivity in eating disorders, in the context of an IReSP funded research project. The postdoc will analyze

  • CNRS | Paris 13, le de France | France | about 1 month ago

    -knowledge proofs, secure computation, post-quantum cryptography, the theoretical foundations of cryptography, and its connections with complexity theory. - Research within the Algorithms & Complexity group

  • CNRS | Paris 13, le de France | France | about 1 month ago

    ? Not funded by a EU programme Is the Job related to staff position within a Research Infrastructure? No Offer Description The Proofs & Programs team at IRIF (CNRS, Université Paris Cité) invites

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

    standard solar cell manufacturing processes. The project will also include optical simulation tasks and advanced luminescence characterization experiments. The postdoc will also contribute to the design of

  • CNRS | Dijon, Bourgogne | France | about 2 months ago

    investigate different rhythmic competencies, and how these relate to different speech and language skills. The postdoc will integrate into a team investigating these different topics, and will also be

  • CNRS | Paris 05, le de France | France | about 1 month ago

    . The recuited postdoc will specifically detect OR gene duplications, losses and copy number variations (CNVs) among the selected species and test for signatures of divergent evolution in sympatric species. 2

  • CNRS | Villeurbanne, Rhone Alpes | France | about 1 month ago

    . Understanding hydrogen diffusion and segregation across scales is essential for the development of efficient embrittlement mitigation strategies. The postdoc is offered within the project ANR Hy-Style focused

  • CNRS | Grenoble, Rhone Alpes | France | 27 days ago

    30 Jan 2026 Job Information Organisation/Company CNRS Department Laboratoire de physique subatomique et de cosmologie Research Field Mathematics History » History of science Researcher Profile Recognised Researcher (R2) Application Deadline 19 Feb 2026 - 23:59 (UTC) Country France Type of...

  • CNRS | Saint Martin, Midi Pyrenees | France | 20 days ago

    9 Feb 2026 Job Information Organisation/Company CNRS Department Sciences et Ingénierie, Matériaux, Procédés Research Field Computer science Mathematics » Algorithms Researcher Profile First Stage Researcher (R1) Application Deadline 2 Mar 2026 - 23:59 (UTC) Country France Type of...

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