5 software-verification-computer-science positions in France

Senior lecturer - operational security

UNIVERSITE DE TECHNOLOGIE DE COMPIEGNE | France | 1 day 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

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

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

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

Master2 internship: Monte Carlo-Based Modeling and Validation of Radiolabeled Brain Tumor Intervention

LaTIM - Brest | Brest, Bretagne | France | 3 months ago

5 Dec 2025 Job Information Organisation/Company LaTIM - Brest Research Field Medical sciences » Cancer research Physics » Computational physics Engineering » Simulation engineering Researcher