2 software-verification-computer-science Postdoctoral positions in France

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-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

Sujet de stage As a member of a multidisciplinary technological research team comprised of experts in software/hardware analyses through the application of formal methods, you will actively contribute