Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- University of Oslo
- Nanyang Technological University
- University of Nottingham
- University of South-Eastern Norway
- Western Norway University of Applied Sciences
- Aarhus University
- Hong Kong Polytechnic University
- Imperial College London
- National University of Singapore
- University of Manchester
- University of Maryland, Baltimore
- University of Sheffield
- 2 more »
- « less
-
Field
-
verification and/or formal methods; (c) excellent programming skills in Python and experience with modern AI frameworks (e.g., PyTorch), LLM ecosystems and agent development frameworks; and (d) strong
-
completing a PhD will also be considered. Essential Application Strong research expertise in at least one of the following areas: interactive theorem proving / formal verification; information-flow security
-
techniques that ensure trustworthiness and to develop methods and tools to analyse and quantify the various performance parameters of the software on this platform such as degree of privacy, reliability and
-
Requirements: PhD in Computer Science, Software Engineering, Artificial Intelligence or a closely related discipline. Demonstrated ability to conduct independent research and develop novel research methods
-
Researcher (R1) Positions PhD Positions Application Deadline 11 Oct 2026 - 23:59 (Europe/Oslo) Country Norway Type of Contract Temporary Job Status Full-time Hours Per Week 37,5 Offer Starting Date 1 Jan 2027
-
disse informasjonskapslene. Databehandlingsansvarlig: HAProxy software Formål: Kreves for at nettsiden skal fungere riktig. Personvernregler for databehandling: HAProxy software - Personvernregler
-
to improve the software engineering process in AUMOVIO-NTU, especially requirement engineering and testing Conducting the research in combining AI techniques with formal methods techniques (especially program
-
11th October 2026 Languages English English English The Faculty of Technology, Natural Sciences and Maritime Sciences have a vacancy for a position as PhD Research Fellow within Renewable Energy
-
psychology and genetics, education and inequality, pharmacoepidemiology, and clinical psychology. The PhD fellow will work with advanced quantitative methods, contribute to joint publications within
-
English English PhD Research Fellow in Formal Methods and Knowledge Representation for Engineering Information Apply for this job See advertisement About the position We invite applications for a PhD