-
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
-
multi-messenger astrophysical observations remains a central challenge in nuclear physics and high-energy astrophysics. Within this context, the LuTH-Caen theory group, as part of the Virgo collaboration
-
brings together around a hundred scientists. The post is located in a sector covered by the protection of scientific and technical potential (PPST), and therefore requires, in accordance with
-
looking for cross-disciplinarity. Some recent and relevant publications of the lab : Debadarshini, Legoff*, Mavrakis* (2025). Septins in animal tissue architecture: more than just peanuts. preprint