Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
-
Field
-
Inria, the French national research institute for the digital sciences | Lyon, Rhone Alpes | France | about 7 hours 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
-
in feminist theories and critical theories on labour. Interest in participatory research & radical feminist epistemologies. • Proficiency in qualitative data collection and analysis (interviews
-
in feminist theories and intersectional approaches to power relations at work. • Interest in participatory research and radical feminist epistemologies. • Proficiency in qualitative data collection and
-
. 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
-
(geophysics, physics, biology, mechanics, and computer science), to other areas of mathematics (e.g., geometry applied to control theory), or to pedagogy. Recurrent algal and/or cyanobacterial blooms constitute
-
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
-
(https://morphomech.wordpress.com/ ), UK, will test our theory. We will measure the spatio-temporal evolution of incompatibility in the Drosophila wing disc [6]. By laser cutting small tissue samples
-
Inria, the French national research institute for the digital sciences | Paris 15, le de France | France | 23 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
-
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 | Villeneuve la Garenne, le de France | France | 29 days ago
learning or statistics, with a focus on multi-armed bandits or recommender systems. Proficiency in English. Strong coding abilities, coupled with analytical and statistical expertise. Proven background in