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 •
- University of Oslo
- DAAD
- Monash University
- ;
- ; The University of Manchester
- ; University of Warwick
- Aarhus University
- Chalmers University of Technology
- OsloMet
- Technical University of Munich
- University of Groningen
- 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
-
-of-the-art in silico protein structure prediction methods and in vitro screening approaches will be used to systematically elucidate the amyloidogenic potential of the gut metaproteome. Specifically, gene
-
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