Sort by
Refine Your Search
-
, quantitative, and mixed methodologies—the program seeks to analyze contemporary scenarios, their transformations, and their potential outcomes. This analysis is grounded in general theories of the State and
-
assurance, data science, data-driven modelling, digital manufacturing workflows, and Digital Product Passport B.3 Hands-on experience in machine learning, ontologies and knowledge graphs, IIoT and digital
-
techniques, with a specific focus on symbolic model checking methods using satisfiability and satisfiability modulo theories solvers as symbolic reasoning engines. Importantly, in addition to researching novel
-
electronic structure methods such as density functional theory or many-body techniques, is highly desirable. The candidate should demonstrate strong analytical skills, motivation to work at the interface