Sort by
Refine Your Search
-
Listed
-
Employer
-
Field
-
Inria, the French national research institute for the digital sciences | Paris 15, le de France | France | about 8 hours ago
of the ERC Starting Grant DYNASTY (Dynamics-Aware Theory of Deep Learning). The position might include traveling to conferences for paper presentation. Travel expenses will be covered within the limits
-
Inria, the French national research institute for the digital sciences | Paris 15, le de France | France | about 2 months ago
the limits of the scale in force. Emerged from the correspondence between proofs and programs, dependent type theory is a formalism which has proved its worth as a foundation of mathematics, as witnessed by
-
of very-high-energy gamma-ray sources, in the context of study of magnetic fields in the Milky Way galaxy and in the intergalactic medium. The work will include development of numerical code for modelling
-
following areas : control theory, automation, embedded systems, robotics. Degree, education, and qualifications • Degree: PhD • Field of study: Robotics / Mechatronics / Control Engineerin knowledge in optic
-
conceptual DFT (linear response function, Fukui functions) or QTAIM theory (delocalization index), and their validation on a set of compounds known from the literature - interfacing a MLIP (Machine-Learned
-
have a strong interest in both theory and numerical work. Numerical work involves code development (e.g., changing the C++ LAMMPS code, programming of data analysis tools, etc.), carrying out large-scale
-
of scientific articles and sufficiently documented simulational software. Skills Qualifications/knowledge : - General knowledge of Mathematical Analysis. - General theory of ODEs and Continuous Time Dynamical
-
Inria, the French national research institute for the digital sciences | Lyon, Rhone Alpes | France | 25 days ago
the tactic language and structure declaration mechanism of Rocq more flexible, easier to explore, but also more stable. The design and implementation of new algorithms in type theory might be required
-
brings together a multidisciplinary team spanning electronic correlation theory, quantum chemistry, experimental attoscience, and antimatter physics. We are an equal opportunity employer and welcome
-
Inria, the French national research institute for the digital sciences | Paris 15, le de France | France | 3 months ago
, located at Inria Paris and École Normale Supérieure (ENS). The team conducts research in various aspects of quantum information theory, including quantum error correction, quantum algorithms, and the