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 Bristol
- ; University of Sussex
- Dresden University of Technology •
- Duke University
- Leibniz
- Max Planck Institute for Molecular Genetics •
- RMIT University
- SciLifeLab
- 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 Florida
- University of Konstanz •
- University of Lund
- University of Massachusetts
- University of Münster •
- University of Regensburg •
- University of Stuttgart •
- University of Twente
- University of Tübingen
- VIB
- Wageningen University and Research Center
- 37 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
-
, data science using EHRs, machine learning, data mining, and natural language processing are preferred. Job Description: Develop large language models and other methods and tools to effectively use
-
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
-
Reasoning 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
-
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
-
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