Sort by
Refine Your Search
-
the formal and functional properties of gestures and their relationship to discourse. - Support for computational modeling: o Contributing to the gesture–speech modeling carried out by Loria, based
-
• Supervision of interns, collaboration with PhD students The team investigates logical foundations and formal methods for quantum programming languages leveraging on a strong expertise in linear logic, lambda
-
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
-
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
-
Description RESEARCHER PROFILE: Postdoc/R2: PhD holders RESEARCH FIELD(S)1: Environmental Science MAIN SUB RESEARCH FIELD OR DISCIPLINES1: Biological sciences, geography JOB /OFFER DESCRIPTION The ClimatFeux
-
, 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
-
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