2 verification Postdoctoral positions at CNRS

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

CNRS | Rennes, Bretagne | France | 2 months ago

post-doc in the field of formal methods at Irisa. The research project will focus on formal verification and testing of real-time systems using timed automata and techniques from game theory

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

parallel experimental work providing test data for comprehensive model verification. - Enhance the model's accuracy by implementing improvements in key areas such as residual stress calculations, stochastic