88 proof-checking-postdoc-computer-science-logic Postdoctoral positions at CNRS in France
Sort by
Refine Your Search
-
program on Working Package 3, which focuses on a demonstrator illustrating the application of the mathematical theory of multi-agent viability in monetary economics. Designing a Model for Applying multi
-
function. The successful candidate will work in an interdisciplinary environment combining molecular biology, cell biology, protein biochemistry, quantitative biophysics, and computational biology. A
-
unit under the supervision of the CNRS and the AMU, which explores the field of developmental biology and associated pathologies. The work will be carried out within the 'Computational Biology' team led
-
5 Jul 2026 Job Information Organisation/Company CNRS Department Biologie cellulaire et cancer Research Field Biological sciences Biological sciences » Biology Researcher Profile First Stage
-
11 Jul 2026 Job Information Organisation/Company CNRS Department Laboratoire d'Informatique de l'Ecole Polytechnique Research Field Computer science Mathematics » Algorithms Researcher Profile First
-
22 Aug 2026 Job Information Organisation/Company CNRS Department Institut de génétique et développement de Rennes Research Field Biological sciences Biological sciences » Biology Researcher Profile
-
. The work will be carried out within the “Computational Biology” team led by Bianca HABERMANN. As the laboratory is composed of members of various nationalities, proficiency in English is essential. Where
-
16 Jul 2026 Job Information Organisation/Company CNRS Department Institut de Biologie du Développement de Marseille Research Field Biological sciences Biological sciences » Biology Researcher
-
reproducible research and to mentoring students. Research Environment and Supervision: The postdoc will be a member of the Astroparticle and Cosmology group at LAPTh, and will be supervised by Dr. Francesca
-
19 Sep 2026 Job Information Organisation/Company CNRS Department Centre de Recherche en Informatique, Signal et Automatique de Lille Research Field Engineering Computer science Mathematics