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 •
- ;
- 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
- ; 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 •
- RMIT University
- SciLifeLab
- Swinburne University of Technology
- UNIVERSITY COLLEGE DUBLIN (UCD)
- Umeå University
- University of Adelaide
- University of Antwerp
- University of Basel
- University of Exeter
- University of Konstanz •
- University of Lund
- University of Massachusetts
- University of Münster •
- University of Oslo
- University of Regensburg •
- University of Stuttgart •
- University of Twente
- University of Tübingen
- Wageningen University and Research Center
- Western Norway University of Applied Sciences
- 38 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
-
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
-
assess risks of de-anonymization, including researching current de-anonymization strategies Deploying and benchmarking anonymization methods. Investigation of state-of-the-art methods from cryptography and