Sort by
Refine Your Search
-
14 Nov 2025 Job Information Organisation/Company IMT Mines Albi Department 81 Research Field Engineering Researcher Profile Recognised Researcher (R2) Positions Postdoc Positions Country France
-
-oriented features, present a large attack surface that traditional verification techniques—such as formal methods—struggle to cover. To effectively mitigate this growing threat landscape, vulnerability
-
: Verifiable world models. The research will focus on developing a new class of structured, verifiable world models that integrate the flexibility of deep learning with the rigor of formal methods and
-
complex circuits. The team is particularly interested in formal methods and system verification to ensure reliability from the earliest development stages. A major research focus concerns hardware security