Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- University of Oslo
- Nanyang Technological University
- University of Nottingham
- University of South-Eastern Norway
- Aarhus University
- Hong Kong Polytechnic University
- Imperial College London
- National University of Singapore
- University of Manchester
- University of Maryland, Baltimore
- University of Sheffield
- Western Norway University of Applied Sciences
- 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
-
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
-
proximity to Dr. Rodrigues’s office will facilitate frequent informal interactions, supplemented by at least one formal meeting each week and regular multidisciplinary project meetings. The fellow will