Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Nature Careers
- NTNU - Norwegian University of Science and Technology
- Aarhus University
- Ludwig-Maximilians-Universität München •
- Technical University of Denmark
- University of Oslo
- Monash University
- ; The University of Edinburgh
- Empa
- Technical University of Munich
- University of Münster •
- University of Nottingham
- University of Tübingen
- Utrecht University
- ;
- ; The University of Manchester
- ; University of Bristol
- ; University of Cambridge
- ; University of Warwick
- Aalborg University
- Chalmers University of Technology
- Erasmus University Rotterdam
- Hannover Medical School •
- KINGS COLLEGE LONDON
- Leibniz
- Leiden University
- Leipzig University •
- OsloMet
- Swedish University of Agricultural Sciences
- 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 Potsdam •
- University of Regensburg •
- University of Southern Denmark
- University of Stuttgart •
- University of Twente
- VIB
- Western Norway University of Applied Sciences
- 36 more »
- « less
-
Field
-
) - Three-dimensional conformally flat Lorentzian manifolds through experimentation (Karin Melnick) - Representation-theoretic methods in algebraic geometry (Karin Melnick & Pieter Belmans) - Computational
-
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
-
, 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
-
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
-
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
-
empirical research skills and at least basic knowledge of the relevant scholarship in International Relations (see above). Knowledge of qualitative research methods is required. The project language is
-
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
-
methods is expected. Digitizing Sexual Violence takes as a starting point that new technologies, such as smart phones and social media platforms, have become vital to social connections; moreover, they have
-
degree in Engineering and have an interest in and/or a good understanding of numerical modelling and testing of structures. Prior knowledge of finite element methods and programming (e.g. C++, Python
-
processing power of a novel photonic integrated circuit architecture [Heuck2023]. This includes studying the effects of optical loss and decoherence and methods to overcome these by error detection and