Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Susquehanna International Group
- Norwegian University of Life Sciences (NMBU)
- SciLifeLab
- DAAD
- Ghent University
- Humboldt-Stiftung Foundation
- Nord University
- University of Groningen
- University of Tübingen
- Curtin University
- NTNU - Norwegian University of Science and Technology
- Umeå University
- University of Cambridge
- ;
- Aalborg University
- Monash University
- Nature Careers
- Queensland University of Technology
- University of Southern Denmark
- ; Edge Hill University
- ; Loughborough University
- ; University of Bradford
- ; University of Bristol
- ; University of East Anglia
- ; University of York
- Aarhus University
- Bielefeld University •
- CISPA (at University of Stuttgart)
- Chalmers University of Technology
- Karlsruhe Institute of Technology •
- Leibniz
- Los Alamos National Laboratory
- Ludwig-Maximilians-Universität München •
- MASARYK UNIVERSITY
- Max Planck Institute for Biogeochemistry •
- Max Planck Institute for Biogeochemistry, Jena
- MedUni Vienna
- Rutgers University
- Technical University of Munich
- Universiteit van Amsterdam
- University of Adelaide
- University of Eastern Finland
- University of Göttingen •
- University of Melbourne
- University of Miami
- University of Oregon
- University of Oslo
- University of Utrecht
- Wageningen University and Research Center
- Østfold University College
- 40 more »
- « less
-
Field
-
Engineering, Program Analysis and Formal Methods We constantly seek applications from qualified researchers regardless of their national origin or citizenship. The working language is English. A command of
-
Engineering, Program Analysis and Formal Methods We constantly seek applications from qualified researchers regardless of their national origin or citizenship. The working language is English. A command of
-
*Home fee status applicants from a Law background are invited to apply* The Centre for Doctoral Training in Safe AI Systems (SAINTS CDT) is the UK’s first multidisciplinary PhD programme focused
-
project under supervision of experienced researchers and following an individual study plan. For a doctoral degree, the equivalent of four years of full-time doctoral education is required. The research
-
supervisor, within 3 months after employment, have worked out a complete project description to be attached to the application for admission to the doctoral program. For more information, please see our web
-
to reason about software (e.g., LLM agents for finding and fixing bugs) Static and dynamic program analysis (e.g., to infer specifications) Test input generation (e.g., to compare the behavior of old and new
-
to reason about software (e.g., LLM agents for finding and fixing bugs)Static and dynamic program analysis (e.g., to infer specifications)Test input generation (e.g., to compare the behavior of old and new
-
through conducting literature reviews, writing blog articles for the project website, organising seminars and academic panels and managing the project’s public-facing communication channels. Eligibility
-
an individual study plan. For a doctoral degree, the equivalent of four years of full-time doctoral education is required. The Department of Microbiology, Tumor and Cell Biology (MTC) at Karolinska Institutet
-
the RELOC-AGE research programme. A web-based housing counselling service has been developed in the programme with the aim of supporting older people to make well-informed decisions about their future housing