Sort by
Refine Your Search
-
Category
-
Country
-
Employer
- Nature Careers
- NTNU - Norwegian University of Science and Technology
- Technical University of Denmark
- Ludwig-Maximilians-Universität München •
- University of Oslo
- Chalmers University of Technology
- DAAD
- Monash University
- University of Groningen
- ;
- ; The University of Manchester
- ; University of Warwick
- Aarhus University
- OsloMet
- Technical University of Munich
- University of Nottingham
- University of Tübingen
- Western Norway University of Applied Sciences
- ; The University of Edinburgh
- ; University of Bristol
- ; University of Reading
- Aalborg University
- Dresden University of Technology •
- Duke University
- KINGS COLLEGE LONDON
- Leibniz
- Leiden University
- 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 Konstanz •
- University of Lund
- University of Luxembourg
- University of Massachusetts
- University of Münster •
- University of Newcastle
- University of Regensburg •
- University of Stuttgart •
- University of Twente
- VIB
- Wageningen University and Research Center
- 39 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
-
to software security, open-source software development and formal methods Work successfully in an inter-organisational team including industrial partners Disseminate the project results and present the research
-
, or willingness to work with them Experience with multi-modal machine learning methods Familiarity with formal linguistics, particularly formal semantics and pragmatics We encourage applications from individuals
-
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
-
to conduct high-quality research and develop the skills necessary for an academic or industry research career. This includes: Conducting original research in formal methods and automated planning
-
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
-
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
-
Akyürek (Experimental Psychology). The successful candidate should have: a keen interest in the human brain, cognition, and formal methods to investigate these. a master’s degree or equivalent in cognitive
-
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