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
-
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
-
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
-
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