-
22 Feb 2025 Job Information Organisation/Company CNRS Department Laboratoire de physique théorique Research Field Physics Researcher Profile Recognised Researcher (R2) Country France Application Deadline 14 Mar 2025 - 23:59 (UTC) Type of Contract Temporary Job Status Full-time Hours Per...
-
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
-
measurements observed by the IASI instrument in orbit, a spectrum of more than 8000 channels gives information at several wavelengths in the infrared, to estimate environmental variables such as atmospheric
-
when running NEMO in single precision. To support this, the plan is to use the CADNA library [1, 2] which relies on Discrete Stochas- tic Arithmetic [3] to estimate rounding errors in numerical codes and
-
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
-
the scale of the electron gyroradius in the Earth's magnetosphere. This configuration enables us to estimate the electric current density by calculating the curl of the magnetic field measured at four
-
Gironde and that of the Massif Central. - Reconstructing the kinship structures of the Gironde population with high-throughput genomic markers in order to estimate the population size by recent genetic CMR