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
-
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
-
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
-
the interface of education and social work and ambition to advance one of the aforementioned subject areas Training and experience in qualitative empirical methods/mixed methods research Openness to further
-
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
-
(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
-
an innovative multi-method design, the project integrates: Daily diary and ecological momentary assessment (EMA) approaches In-depth qualitative and immersive fieldwork conducted by the geography team A key