Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
-
Field
-
Inria, the French national research institute for the digital sciences | Paris 15, le de France | France | 26 days 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
-
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
-
Inria, the French national research institute for the digital sciences | Lyon, Rhone Alpes | France | 3 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
-
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
-
brings together a multidisciplinary team spanning electronic correlation theory, quantum chemistry, experimental attoscience, and antimatter physics. We are an equal opportunity employer and welcome
-
in feminist theories and critical theories on labour. Interest in participatory research & radical feminist epistemologies. • Proficiency in qualitative data collection and analysis (interviews
-
Inria, the French national research institute for the digital sciences | Paris 15, le de France | France | 2 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
-
Analysis of Pattern Learning and Extraction (MAPLE) PI: Dr. Bruno Loureiro We invite applications from highly motivated, independent, and creative postdoctoral researchers to work on the theory of feature
-
. The requited person will achieve these research studies within the H.E.S.S. and CTAO collaborations. - Gammapy developer (code, test, benchmark, documentation) - Participation to the Gammapy user support
-
Inria, the French national research institute for the digital sciences | Bures sur Yvette, le de France | France | about 2 months ago
theory, and data-driven methods. The postdoc will work in close collaboration with an interdisciplinary group of researchers and students in control theory, signal processing, neuroscience, and sports