354 proof-checking-postdoc-computer-science-logic Postdoctoral positions at CNRS in France
Sort by
Refine Your Search
-
Listed
-
Field
-
6 Nov 2025 Job Information Organisation/Company CNRS Department Laboratoire de Chimie et Biochimie Pharmacologiques et Toxicologiques Research Field Chemistry Biological sciences Pharmacological
-
Joaquín RODRIGUES JACINTO (I2M Aix-Marseille Université), the research program "p-adic Kudla program and p-adic automorphic forms". The Postdoc will be responsible for supporting and coordinating
-
Deadline 28 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
-
of Research Experience1 - 4 Additional Information Eligibility criteria • Doctor of Computer Science, Robotics • Skills in formal knowledge representation (ontology, knowledge graph, logic resolution
-
Framework Programme? Not funded by a EU programme Is the Job related to staff position within a Research Infrastructure? No Offer Description The candidate will work as part of the EURAD2 European project
-
ExperienceNone Additional Information Eligibility criteria The postdoc should have a PhD degree in evolutionary biology, with expertise in bioinformatics, statistics, programming and/or modeling. Previous
-
10 Sep 2025 Job Information Organisation/Company CNRS Department Institut de Biologie du Développement de Marseille Research Field Neurosciences Biological sciences Researcher Profile First Stage
-
18 Nov 2025 Job Information Organisation/Company CNRS Department Institut de mathématiques de Jussieu - Paris Rive Gauche Research Field Mathematics History » History of science Researcher Profile
-
31 Oct 2025 Job Information Organisation/Company CNRS Department Institut de Chimie des Milieux et Matériaux de Poitiers Research Field Chemistry » Physical chemistry Chemistry » Computational
-
, H.E.S.S., CTAO, KM3NeT, Jem-EUSO, theory). This position is funded by the European program OSCARS (Open Science Cluster's Action for Research & Society). It involves 5 science clusters of research