Sort by
Refine Your Search
-
track record on one of the following research areas: Trustworthy AI AI for formal methods Formal methods for AI The successful candidate will participate in the activities of the research group led by
-
applications for a postdoctoral position on logical foundations and formal methods for quantum programming languages. Topics of interest (non-exhaustive) : • Models of quantum computation (λ-calculi, term
-
, etc.). Robust AI (knowledge of methods for quantifying uncertainty in deep learning or formal verification methods applied to deep learning) Embedded AI Reinforcement learning, supervised and
-
Inria, the French national research institute for the digital sciences | Villeneuve la Garenne, le de France | France | about 1 month ago
fields including health, agriculture and ecology, sustainable development. More information, please visit https://team.inria.fr/scool/projects Odalric-Ambrym Maillard is a permanent researcher at Inria. He
-
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
-
Inria, the French national research institute for the digital sciences | Montbonnot Saint Martin, Rhone Alpes | France | 2 months 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
-
, 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
-
-oriented features, present a large attack surface that traditional verification techniques—such as formal methods—struggle to cover. To effectively mitigate this growing threat landscape, vulnerability