Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Nature Careers
- Technical University of Denmark
- NTNU - Norwegian University of Science and Technology
- Ludwig-Maximilians-Universität München •
- University of Oslo
- Aarhus University
- Monash University
- ;
- ; The University of Manchester
- ; University of Warwick
- DAAD
- Empa
- Technical University of Munich
- University of Münster •
- University of Nottingham
- University of Tübingen
- Western Norway University of Applied Sciences
- ; The University of Edinburgh
- ; University of Bristol
- ; University of Cambridge
- ; University of Reading
- Aalborg University
- Chalmers University of Technology
- Duke University
- Hannover Medical School •
- KINGS COLLEGE LONDON
- Leibniz
- Leiden University
- Leipzig University •
- Norwegian University of Life Sciences (NMBU)
- OsloMet
- RMIT University
- Swinburne University of Technology
- Umeå University
- University of Adelaide
- University of Antwerp
- University of Cambridge
- University of Groningen
- University of Konstanz •
- University of Lund
- University of Luxembourg
- University of Massachusetts
- University of Newcastle
- University of Potsdam •
- University of Regensburg •
- University of Stuttgart •
- University of Twente
- VIB
- 38 more »
- « less
-
Field
-
qualitative research methods is required. The project language is English and the applicants should have an excellent command of the English language, written and spoken. Applicants must be able to work
-
Engineering, Program Analysis and Formal Methods We constantly seek applications from qualified researchers regardless of their national origin or citizenship. The working language is English. A command of
-
Engineering, Program Analysis and Formal Methods We constantly seek applications from qualified researchers regardless of their national origin or citizenship. The working language is English. A command of
-
Planning, Henley Business School Supervisors: Dr Emma Street and Prof Gavin Parker Project Overview: Using a governance lens and participatory methods, this project involves local stakeholders and
-
) - Three-dimensional conformally flat Lorentzian manifolds through experimentation (Karin Melnick) - Representation-theoretic methods in algebraic geometry (Karin Melnick & Pieter Belmans) - Computational
-
, lack of transparency, safety assurance, and sustainability. You will work at the forefront of AI research, exploring formal and dynamic verification methods, explainable AI, and data space integration
-
fields with a socio-technical background Interest in data anonymization and/or technology law will be considered an asset Interest in applying methods commonly used in information systems research (e.g
-
knowledge of the relevant scholarship in International Relations (see above). Knowledge of qualitative research methods is required. The project language is English and the applicants should have an excellent
-
five Dutch universities: the University of Twente, the University of Groningen, Leiden University, Radboud University, and Delft University. The Formal Methods and Tools (FMT) group at the University
-
the Computer Science study program. The stipend is open for appointment from August 1st 2025 or soon thereafter. The PhD students will be working on topics within the general areas of formal methods, model checking and