-
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
-
will focus on studying the principles of neural computation through recurrent neural networks, dynamical systems theory, and machine learning. - Develop mathematical and computational models of neural
-
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
-
approaches that link theory to observations, through data analysis and numerical simulations. The "GW" team is part of the LISA Consortium and the LISA Distributed Data Processing Center (DDPC), as
-
(classical and/or quantum) and/or theory to describe complex liquid systems. Knowledge of solution chemistry is desirable. Curiosity, autonomy and the ability to work as part of a team are three essential