3 proof-checking-postdoc positions in France

Sort by: relevance | listed |

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

Post-Doctoral Research Visit F/M Reasoning up to equivalent representations in proof assistants

Inria, the French national research institute for the digital sciences | Paris 15, le de France | France | about 2 months ago

project and in particular on consolidating the logical foundations of mathematical proof assistants (http://malinca.org ). It will be located at the IRIF lab in Paris. Travel expenses are covered within
Opportunity to candidate for a Marie-Sklodowska Curie European Postdoc Fellowship in Reverse-engineered concrete formulations to evaluate the risk of Alkali-Silica Reaction in case of extended [...]

Université Gustave Eiffel | Marne la Vallee, le de France | France | 19 days ago

) Recognised Researcher (R2) Positions Postdoc Positions Application Deadline 27 Mar 2026 - 23:59 (Europe/Paris) Country France Type of Contract Temporary Job Status Full-time Offer Starting Date 30 Mar 2026 Is
Postdoctoral research fellowship – Visualization of hydrogen atoms in carbohydrate binding proteins

INSTITUT MAX VON LAUE - PAUL LANGEVIN | France | 25 days ago

3 Feb 2026 Job Information Organisation/Company INSTITUT MAX VON LAUE - PAUL LANGEVIN Research Field Physics Researcher Profile Established Researcher (R3) Positions Postdoc Positions Application

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