7 verification-computer-science Postdoctoral research jobs in France

Post-Doctoral Research Visit F/M Postdoctoral Position in Quantum Cryptography and Complexity Theory at ENS Paris

Inria, the French national research institute for the digital sciences | Paris La Defense, le de France | France | 3 months ago

13 Feb 2025 Job Information Organisation/Company Inria, the French national research institute for the digital sciences Research Field Computer science Researcher Profile Recognised Researcher (R2

Post-doctoral fellow in formal verification of multi-agent systems - 18 months contract

Télécom Paris | Palaiseau, le de France | France | 3 months ago

computer science. An important application of game theory in computer science and, more recently, in AI, concerns formal-system verification. In particular, game theory has become a powerful tool for the

Postdoc in Computer Science - Formal Methods (M/F)

CNRS | Rennes, Bretagne | France | 2 months ago

27 Feb 2025 Job Information Organisation/Company CNRS Department Institut de recherche en informatique et systèmes aléatoires Research Field Computer science Mathematics » Algorithms Researcher

Post-doctoral fellow in AI applied to RF dosimetry - 18 months contract

Télécom Paris | Palaiseau, le de France | France | about 2 months ago

14 Mar 2025 Job Information Organisation/Company Télécom Paris Research Field All Other Technology » Telecommunications technology Technology » Internet technology Researcher Profile First Stage

Post-doctoral researcher (M/F) Modeling of the mechanical behavior up to failure of a CMC for aeronautical applications using an embedded fibers approach

CNRS | Pessac, Aquitaine | France | 3 months ago

11 Feb 2025 Job Information Organisation/Company CNRS Department Laboratoire des Composites ThermoStructuraux Research Field Engineering » Materials engineering Physics » Acoustics Researcher

Post-doctoral research fellow to estimate the contribution of ammonia to atmospheric aerosols in rural areas (18-month fixed-term contract)

IMT Nord Europe | Douai, Nord Pas de Calais | France | 3 months ago

15 Feb 2025 Job Information Organisation/Company IMT Nord Europe Research Field Environmental science » Ecology Researcher Profile Recognised Researcher (R2) Leading Researcher (R4) First Stage

Post-doc Researcher in formal modeling of microarchitectures for timing analysis of embedded systems H/F

CEA | Corbeil Essonnes, le de France | France | about 2 months ago

to the verification of properties such as temporal anomalies. #CEA-List ; #Post-doc ; ##IoT ; #LI-CB1 ; #Post-doctorat ; #Researcher Profil du candidat You have a PhD in the field of electronics or embedded systems