Sort by
Refine Your Search
-
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
-
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
-
(HORIZON-INFRA-2024-TECH-01-01 – R&D for the next generation of scientific instrumentation, tools, methods, and solutions for RI upgrade), this position focuses on data curation activities under Work Package
-
on extending methods for detecting the pose of an object (possibly occluded, even if only partially) held by a person to 360-degree robot vision, in line with mesh detection and biomechanical variables
-
engineering; Formal methods, models, and languages; Interactive and cognitive systems; Distributed systems, parallel computing, and networks. The successful candidate will work closely with teams specializing
-
Inria, the French national research institute for the digital sciences | Villeneuve la Garenne, le de France | France | 3 months 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
-
, 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
-
, observational and model-based methods. The third component will establish new partnerships focused on ecology and fire management in several African countries where ecology and fire management are critical topics
-
along with complementary structural biology methods. The successful fellow will work at the Institut Laue Langevin (ILL) to develop and apply cutting-edge neutron crystallography approaches