Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Nature Careers
- NTNU - Norwegian University of Science and Technology
- Technical University of Denmark
- 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
- University of Luxembourg
- University of Nottingham
- University of Oslo
- University of Tübingen
- ; The University of Edinburgh
- ; University of Bristol
- ; University of Sussex
- Dresden University of Technology •
- Duke University
- KINGS COLLEGE LONDON
- King's College London
- Leibniz
- Max Planck Institute for Molecular Genetics •
- Norwegian University of Life Sciences (NMBU)
- RMIT University
- SciLifeLab
- Swinburne University of Technology
- The Norwegian School of Sport Sciences
- UNIVERSITY COLLEGE DUBLIN (UCD)
- Umeå University
- University of Adelaide
- University of Antwerp
- University of Basel
- University of Copenhagen
- University of Exeter
- University of Konstanz •
- University of Lund
- University of Massachusetts
- University of Münster •
- University of Regensburg •
- University of Stuttgart •
- University of Twente
- VIB
- Wageningen University and Research Center
- Western Norway University of Applied Sciences
- 42 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
-
complementary methodologies (corpus data and offline experimental measures). On the theoretical side, the project will develop a formal compositional model that generates the observed parameters of variation and
-
financial barriers to achieving theoretically optimal city sizes using qualitative methods, including stakeholder interviews and policy analysis. Integrating Theory into Dynamic Models Embed the sustainable
-
least one of the following areas: formal methods, machine learning. Additional knowledge and experience within the following areas are appreciated: formal verification, deep learning, dynamical systems
-
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
-
approach is a method that is both formally rigorous and practically efficient for the verification/validation of quantum devices. Candidate’s profile Knowledge of quantum computing and an understanding
-
. The successful candidate will also have the opportunity and be expected to develop and conduct their own PhD research on how racism creates epistemic injustice and restricts formal and informal carers
-
to develop and conduct their own PhD research on how racism creates epistemic injustice and restricts formal and informal carers’ opportunities and agency, using qualitative and creative methods (e.g. “Theatre
-
about Automated Reasoning'. From a fundamental research perspective, this relates to the automation of meta-reasoning pertaining to general-purpose reasoning methods. Here, the intended focus is on
-
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