Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
-
Field
-
for automated software verification. This role offers a unique opportunity to work at the forefront of formal methods and machine learning research, contributing to the foundational principles of how AI is
-
and approaches to improve the software engineering process in Continental, especially requirement engineering and testing Conducting the research in combining AI techniques with formal methods
-
advanced statistical methods. Experience working in a multi-disciplinary setting and/or teams. Experience with Microsoft Suite products and working knowledge of at least one statistical software (E.g. SAS
-
domains and formal methods Applying the developed research ideas and approaches to improve the software engineering process in Continental, especially requirement engineering and testing Conducting
-
JavaScript for all functions to work properly. Please turn on JavaScript in your browser and try again. UiO/Anders Lien 17th August 2025 Languages English English English PhD Research Fellow in Formal Methods
-
towards this goal. The PhD research fellow will be part of the PhD programme in Computer Science: Software Engineering, Sensor Networks and Engineering Computing (https://www.hvl.no/en/research/phd
-
to: Investigate how logical and philosophical theories can support the structuring and modelling of knowledge in practical contexts. Participate in the development of IMF by bringing in methods from formal ontology
-
qualitative analyses but also mixed-methods approaches, possibly enabled by emerging AI-enhanced techniques. The PhD project should overall contribute to a better understanding collaborative learning in higher
-
Fellow in areas related to formal-method-based automatic analysis and design of robotic operational specifications to take on a position of Research Fellow to support the project entitled " Universal
-
politics, political theory and research methods. The department offers a vibrant academic environment with a good mix of permanent staff, postdoctoral and PhD fellows. Around 1,400 students are currently