294 proof-checking-postdoc-computer-science-logic Postdoctoral positions at CNRS in France
Sort by
Refine Your Search
-
Listed
-
Field
-
, working at the interface between plankton ecology and computer sciences. The postdoc will work in strong connection with the GreenOwl team of Inria (National Institute for Research in Digital Science and
-
10 Sep 2025 Job Information Organisation/Company CNRS Department Institut de Chimie de Nice Research Field Chemistry Physics Technology Researcher Profile Recognised Researcher (R2) Country France
-
Research Framework Programme? Not funded by a EU programme Is the Job related to staff position within a Research Infrastructure? No Offer Description The selected candidate will join the international XENON
-
Programme? Not funded by a EU programme Is the Job related to staff position within a Research Infrastructure? No Offer Description The postdoc will be part of the SPRINT team. The project will take place as
-
13 Nov 2025 Job Information Organisation/Company CNRS Department Institut Franche-Comté Electronique Mécanique Thermique et Optique – Sciences et Technologies Research Field Engineering Physics
-
2 Sep 2025 Job Information Organisation/Company CNRS Department Institut Franche-Comté Electronique Mécanique Thermique et Optique – Sciences et Technologies Research Field Physics Researcher
-
5 Sep 2025 Job Information Organisation/Company CNRS Department Laboratoire magmas et volcans Research Field Geosciences Astronomy Environmental science Researcher Profile First Stage Researcher (R1
-
8 Nov 2025 Job Information Organisation/Company CNRS Department Groupe de recherche en Informatique, Image, Automatique et Instrumentation de Caen Research Field Engineering Computer science
-
3 Oct 2025 Job Information Organisation/Company CNRS Department Laboratoire lorrain de recherche en informatique et ses applications Research Field Computer science Researcher Profile First Stage
-
between the 8th and 18th centuries, originating from Chinese, Sanskrit, Arabic/Persian, Greek, Hebrew, and Latin sources. This interdisciplinary project brings together historians of science and computer