Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Nature Careers
- Technical University of Denmark
- NEW YORK UNIVERSITY ABU DHABI
- University of Oslo
- University of Warsaw
- Duke University
- Oak Ridge National Laboratory
- Universidade de Aveiro
- University of Antwerp
- VIB
- Adam Mickiewicz University, Poznań
- Aix-Marseille Université
- Argonne
- CNRS
- Durham University
- IMT Mines Albi
- IMT Mines Ales
- Idiap Research Institute
- Imperial College London
- Lunds universitet
- Max Planck Institute for Physics, Garching
- Technical University of Munich
- Universidade Católica Portuguesa
- University of Amsterdam (UvA); Published today
- University of Lund
- University of Minnesota
- University of Nevada Las Vegas
- University of Southern Denmark
- University of Sydney
- 19 more »
- « less
-
Field
-
, program synthesis, semantic parsing, tool-augmented/agentic workflows) 2. Symbolic methods (logic/constraints, SAT/SMT, theorem proving, planning) * Strong software engineering skills (typically Python
-
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
-
possess: A solid background in formal methods and process mining Experience in developing theoretical modeling and analysis frameworks Strong programming and software development skills (at least at the
-
findings to project partners, in journals and at national and international conferences As formal qualification: You hold a PhD degree (or equivalent) in Chemical and/or Biochemical Engineering or equivalent
-
. • The successful candidate will work efficiently to master the scientific field, contribute positively to the scientific culture of the laboratory, and present their own data and analysis in formal and informal
-
of the Danish language will facilitate the interaction with the stakeholders. As a formal qualification, you must hold a PhD degree (or equivalent) preferably in Environmental Engineering. We offer DTU is a
-
, 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
-
the life sciences” as outlined in the project description. Applicants to the PhD fellowship must hold a two-year Master’s degree (or equivalent qualifications) and meet the formal requirements for admittance
-
Candidates must hold a PhD in Mathematical Engineering or Applied Mathematics (or equivalent) Candidates should have a solid background in numerical methods for differential equations, simulation of stochastic