7 verification-computer-science "https:" positions in France

postdoc on formal verifiication of security protocols with probabilities (M/F)

CNRS | Vand uvre les Nancy, Lorraine | France | 2 days ago

6 Mar 2026 Job Information Organisation/Company CNRS Department Laboratoire lorrain de recherche en informatique et ses applications Research Field Computer science Mathematics » Algorithms

Senior lecturer - operational security

UNIVERSITE DE TECHNOLOGIE DE COMPIEGNE | France | 4 days ago

. He/she may also participate in teaching: Dependable Software Engineering, Software Verification and Validation Methods (apprenticeship), and Computer System Dependability (apprenticeship). He/she will

Postdoc : Dynamic and arithmetic aspects of verification M/F

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

computer science or mathematics - Conduct research projects independently - Write scientific articles and present work in seminars - Organizational and collaboration skills Website for additional job details https

Researcher on mechanical behavior at very low temperatures (M/F)

CNRS | Marseille 13, Provence Alpes Cote d Azur | France | 28 days ago

7 Feb 2026 Job Information Organisation/Company CNRS Department Laboratoire de Mécanique et d'Acoustique Research Field Engineering Physics » Acoustics Engineering » Materials engineering Researcher

Postdoctoral Researcher SAACD Project – Complex Autonomous and Self-Adaptive Defence Systems

IMT MINES ALES | Ales, Languedoc Roussillon | France | about 2 months ago

17 Jan 2026 Job Information Organisation/Company IMT MINES ALES Research Field Engineering » Systems engineering Computer science » Digital systems Researcher Profile First Stage Researcher (R1

Compilation Formellement Vérifiée d'un Langage de Programmation Orienté Interaction // Formally Verified Compilation of an Interaction-Oriented Programming Language

Ecole Nationale de l'Aviation Civile | Toulouse, Midi Pyrenees | France | about 2 months ago

14 Jan 2026 Job Information Organisation/Company Ecole Nationale de l'Aviation Civile Research Field Computer science » Informatics Researcher Profile Recognised Researcher (R2) Leading Researcher

Post-Doctoral Candidate SAACD Project - Complex Autonomous and Self-Adaptive Defence Systems

IMT Mines Ales | Ales, Languedoc Roussillon | France | about 2 months ago

9 Jan 2026 Job Information Organisation/Company IMT Mines Ales Department Human Ressources Department Research Field Engineering » Systems engineering Researcher Profile First Stage Researcher (R1