Sort by
Refine Your Search
-
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
-
their interactions with tissues and PSs; iii) formalize and implement a method for optimizing the delivered dose (source distribution); iii) study the sensitivity of non-invasive probing
-
of the successful candidate, as well as delays linked to recruitment formalities. One-year contract, renewable once. --- Working at the LNCMI means benefiting from the CNRS's human resources policy and social action
Searches related to formal semantics
Enter an email to receive alerts for formal-semantics positions