475 proof-checking-postdoc-computer-science-logic positions at CNRS

Filters Search

Sort by

listed

Filtered by
CNRS
proof-checking-postdoc-computer-science-logic
Remove All

Refine Your Search

Listed
- Last-24-hours 2
- Last-3-days 24
- Last-7-days 17
- Last-30-days 196
Category
- Research Job 269
- Scholarship 127
- Uni Job 79
Program
- Postdoctoral 217
- PhD 148
- Fellowship 8
- Postgraduate 1
Field
- Biology 91
- Computer Science 76
- Chemistry 59
- Medical Sciences 34
- Materials Science 24
- Mathematics 13
- Engineering 12
- Economics 10
- Science 10
- Environment 9
- Earth Sciences 7
- Psychology 5
- Social Sciences 4
- Business 2
- Electrical Engineering 2
- Humanities 2
- Physics 2
- Arts and Literature 1
- Law 1
- Linguistics 1
- Philosophy 1
- 11 more »
- « less

Sort by: relevance | listed |

Enter an email to receive alerts for proof-checking-postdoc-computer-science-logic positions

(M/F) Postdoc position in catalysts synthesis and performance testing

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

4 Sep 2025 Job Information Organisation/Company CNRS Department Laboratoire de Réactivité de Surface Research Field Chemistry Physics Researcher Profile First Stage Researcher (R1) Country France
Post-doctoral position in very-high-energy astrophysics - Gammapy improvements for the OSCARS European program (M/F)

CNRS | Paris 13, le de France | France | 1 day ago

, 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
Doctorant (M/F) Material/Process/Food Technology

CNRS | Montpellier, Languedoc Roussillon | France | 4 days ago

13 Oct 2025 Job Information Organisation/Company CNRS Department Institut européen des membranes Research Field Chemistry Physics Technology Researcher Profile First Stage Researcher (R1) Country
PhD in polymer, analytical and environmental chemistry - M/F

CNRS | Pau, Aquitaine | France | 2 days ago

chemistry Chemistry » Computational chemistry Researcher Profile First Stage Researcher (R1) Country France Application Deadline 6 Nov 2025 - 23:59 (UTC) Type of Contract Temporary Job Status Full-time Hours
RESEARCHER (M/F) - political sciences and religious studies

CNRS | Paris 07, le de France | France | 1 day ago

Deadline 7 Nov 2025 - 23:59 (UTC) Type of Contract Temporary Job Status Part-time Hours Per Week Less than 35 Offer Starting Date 15 Nov 2025 Is the job funded through the EU Research Framework Programme
Post-doctorant Combustion Chemistry (M/F)

CNRS | Orleans, Centre | France | 1 day ago

18 Oct 2025 Job Information Organisation/Company CNRS Department Institut de Combustion, Aérothermique, Réactivité et Environnement Research Field Engineering Chemistry Physics Researcher Profile
POST DOC « p-adic Kudla program and p-adic automorphic forms » M/F

CNRS | Marseille 09, Provence Alpes Cote d Azur | France | about 1 month ago

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
Researcheren (M/F) in chemistry, physical-chemistry and characterization of polymers

CNRS | Strasbourg, Alsace | France | 15 days ago

4 Oct 2025 Job Information Organisation/Company CNRS Department Institut de Chimie et Procédés pour l'Energie, l'Environnement et la Santé Research Field Chemistry Physics Technology Researcher
Researcher in analytical chemistry and chemistry of molten salts M/F

CNRS | Orsay, le de France | France | 15 days ago

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
Postdoctoral fellow in knowledge representation for robotics (M/F)

CNRS | Toulouse, Midi Pyrenees | France | 20 days ago

of Research Experience1 - 4 Additional Information Eligibility criteria • Doctor of Computer Science, Robotics • Skills in formal knowledge representation (ontology, knowledge graph, logic resolution

Searches related to proof checking postdoc computer science logic

Enter an email to receive alerts for proof-checking-postdoc-computer-science-logic positions

475 proof-checking-postdoc-computer-science-logic positions at CNRS

Sort by

Filtered by

Refine Your Search

(M/F) Postdoc position in catalysts synthesis and performance testing

Post-doctoral position in very-high-energy astrophysics - Gammapy improvements for the OSCARS European program (M/F)

Doctorant (M/F) Material/Process/Food Technology

PhD in polymer, analytical and environmental chemistry - M/F

RESEARCHER (M/F) - political sciences and religious studies

Post-doctorant Combustion Chemistry (M/F)

POST DOC « p-adic Kudla program and p-adic automorphic forms » M/F

Researcheren (M/F) in chemistry, physical-chemistry and characterization of polymers

Researcher in analytical chemistry and chemistry of molten salts M/F

Postdoctoral fellow in knowledge representation for robotics (M/F)

Searches related to proof checking postdoc computer science logic