Sort by
Refine Your Search
-
Listed
-
Country
-
Employer
- Nature Careers
- NTNU - Norwegian University of Science and Technology
- Ludwig-Maximilians-Universität München •
- ;
- DAAD
- Leiden University
- Monash University
- Technical University of Munich
- University of Groningen
- ; The University of Manchester
- ; University of Reading
- ; University of Warwick
- Aalborg University
- Aarhus University
- Chalmers University of Technology
- OsloMet
- Technical University of Denmark
- University of Nottingham
- ; University of Bristol
- ; University of Sussex
- Dresden University of Technology •
- Leibniz
- Max Planck Institute for Molecular Genetics •
- RMIT University
- Swinburne University of Technology
- The Norwegian School of Sport Sciences
- UNIVERSITY COLLEGE DUBLIN (UCD)
- Umeå University
- Universitat pompeu fabra
- University of Adelaide
- University of Antwerp
- University of Basel
- University of Exeter
- University of Konstanz •
- University of Luxembourg
- University of Münster •
- University of Regensburg •
- University of Twente
- University of Tübingen
- VIB
- Wageningen University and Research Center
- 31 more »
- « less
-
Field
-
Research theme: Formal Methods How many positions: 1 This 3.5 year PhD is funded by the Department of Computer Science at The University of Manchester. The successful candidate will receive
-
engagement or workshop facilitation Interest in multi-method or mixed-method research approaches Note: applicants who already hold a PhD degree will not be considered. Research Environment You will be based in
-
The Department of Computer Science at Aalborg University has a fully-funded PhD position available. The candidate will be working on formal verification of neural-network control policies
-
component of the PhD program. PhD students will begin the program as a cohort and undergo onboarding together. A team of two senior scientists and two doctoral students formally represents the interests
-
PhD Scholarship in Digital Mapping of Homemade & DIY Cultural Economies in First Nations Communities
, and grassroots creativity that may be undervalued in formal cultural economies The project will innovate methodologically (leveraging methods from human-centred design and digital sociology) to generate
-
live in. Your role This position is inside the SPETRA doctoral training unit which investigates new materials, methods and concepts for converting sunlight into usable energy sources. Inorganic
-
particular focus on digital methods and tools. The C²DH's ambition is to venture off the beaten track and find new ways of doing, teaching and presenting contemporary history of Luxembourg and the history
-
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
-
Profile: We seek someone with strong mathematical maturity in control theory, dynamical systems, or applied mathematics. Familiarity with nonlinear systems analysis, graph theory, and formal methods (e.g
-
with privacy by developing techniques that optimize both aspects. The candidate will perform the work together with a team of postdoctoral researchers who are experts on the field and other PhD student