Sort by
Refine Your Search
-
Category
-
Country
-
Employer
- University of Oslo
- Nanyang Technological University
- University of Nottingham
- University of Sheffield
- University of South-Eastern Norway
- Aarhus University
- Imperial College London
- National University of Singapore
- Queen's University Belfast
- University of Manchester
- University of Maryland, Baltimore
- Western Norway University of Applied Sciences
- 2 more »
- « less
-
Field
-
analysis and resilience assessment, and support the implementation of these methods in research software and experimental platforms, including QUB’s cyber-physical microgrid testbed. The role offers
-
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
-
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
-
environments, design-based research methods, digitalization and AI preferable in higher education, but background in K-12 studies might also be of relevance. Applicants with PhD thesis that involves studies
-
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
-
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
-
disse informasjonskapslene. Databehandlingsansvarlig: HAProxy software Formål: Kreves for at nettsiden skal fungere riktig. Personvernregler for databehandling: HAProxy software - Personvernregler
-
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