Sort by
Refine Your Search
-
density functional to ab initio methods coupled to effective field theory) and related numerical and formal techniques. We are particularly fond of interdisciplinary connections and emerging technologies
-
SD-26085 POSTDOCTORAL RESEARCHER IN THE OXIDATIVE CHEMICAL VAPOR DEPOSITION OF FUNCTIONAL BUILDIN...
in their decisions and businesses in their strategies. Do you want to know more about LIST? Check our website: https://www.list.lu/ How will you contribute? The CLEANH3 project investigates the gas
-
of 3D crystalline structures; – depending on the candidate's profile, implementing machine learning methods (AI & machine learning) for the analysis of physicochemical data from the hpmat.org database
-
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