Sort by
Refine Your Search
-
a collaboration between Inria and Mitsubishi Electric R&D Centre Europe (MERCE) within the FRAIME project on artificial intelligence and formal methods. The project explores, on the one hand, how
-
fellow will carry out the development of theoretical and methodological formalisms in relativistic quantum chemistry, as well as their implementation (Python). The position is within the BRUNCH project
-
about the financialization of capitalism, it often neglects the extremely profitable informal, illegal, and illicit financial markets, which are increasingly connected to formal global finance
-
: Verifiable world models. The research will focus on developing a new class of structured, verifiable world models that integrate the flexibility of deep learning with the rigor of formal methods and
-
, contact or collision sensors, proprioceptive arrays) on mobile platforms (wheeled/rolling and/or aerial). Designing and integrating a soft shell for protecting the robot from collisions. Developing methods
-
research. Within this project, the postdoctoral researcher will assume a central role in the empirical implementation. The successful candidate will join the research group on non-formal education at
-
particular focus on digital methods and tools. The C²DH's ambition is to venture off the beaten track and find new ways of doing, teaching and presenting contemporary history of Luxembourg and the history
-
Inria, the French national research institute for the digital sciences | Montbonnot Saint Martin, Rhone Alpes | France | 23 days ago
Website https://jobs.inria.fr/public/classic/en/offres/2025-09541 Requirements Skills/Qualifications Eligible candidates should have a PhD in computer science. Experience in formal methods or in
-
nanoparticles, whose manufacture is generally based on “trial & error” methods. Thus, the aim of TOSCaNA is to develop an experimental approach and a CFD formalism for predicting the size and morphology of metal
-
training an autonomous agent to ‘learn’ a control strategy. This formalism is similar to that of optimal control, with the difference that the agent does not have an explicit model of the dynamics