6 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 | about 2 months 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

Software Engineer - Fixed-term contract (6 months)

Télécom SudParis | Evry, le de France | France | 10 days ago

13 Apr 2026 Job Information Organisation/Company Télécom SudParis Department TELECOM SUDPARIS Research Field Computer science Researcher Profile First Stage Researcher (R1) Positions Research

Post-doctoral fellow in AI for Microarchitectural Security - 12 months contract

Télécom Paris | Palaiseau, le de France | France | 28 days ago

27 Mar 2026 Job Information Organisation/Company Télécom Paris Research Field Computer science » Computer architecture Researcher Profile First Stage Researcher (R1) Positions Postdoc Positions

Senior lecturer - operational security

UNIVERSITE DE TECHNOLOGIE DE COMPIEGNE | France | about 2 months 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

Thesis M/F "Video content security in a deep learning coding architecture"

CNRS | Gif sur Yvette, le de France | France | about 1 month ago

21 Mar 2026 Job Information Organisation/Company CNRS Department Laboratoire des Signaux et Systèmes Research Field Engineering Computer science Mathematics Researcher Profile First Stage Researcher

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

CNRS | Marseille 13, Provence Alpes Cote d Azur | France | 2 months 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