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...
chemical vapor deposition of unexplored building blocks for the synthesis of functional thin films (WP2). Comprehensive characterization methods, including surface analysis (XPS, Raman, SIMS, HRMS, TEM, FTIR
-
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
-
complex and performance-oriented features, present a large attack surface that traditional verification techniques—such as formal methods—struggle to cover. To effectively mitigate this growing threat
-
research results to various communities and a wider public Academic self-administration For questions and further information, please contact Your profile PhD in Inclusive education, with a focus on at least
-
• 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
-
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
-
of the methods. The project is carried out in close collaboration with Helical-AI, an industrial partner specialized in large-scale genomic foundation models and HPC-enabled model deployment, ensuring
-
for embedded and GPU platforms. Collaborate with ARSPECTRA engineers and surgeons to create a complete AR guidance pipeline : tracking, SLAM, gaze, user interface Your profile PhD in machine learning