Sort by
Refine Your Search
-
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
-
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
-
theory and method, and the proposed implementation plan for the stud. It is important that the topic and the methods in the PhD project are aligned with relevant research on collaborative learning and
-
-fields mentioned above. The successful candidate will be part of the Faculty’s PhD programme. The work is expected to lead to a PhD in political science. Required qualifications Formal qualifications
-
rapporteringsformål. Personvernregler for databehandling: Piwik Pro - Personvernregler for databehandling Utløpsdato: 30 minutter Navn: _pk_sesxxx Leverandør: www.jobbnorge.no Databehandlingsansvarlig: HAProxy software
-
for databehandling: Piwik Pro - Personvernregler for databehandling Utløpsdato: ett år Navn: _pk_idxxx Leverandør: www.jobbnorge.no Databehandlingsansvarlig: HAProxy software Formål: Kreves for at nettsiden skal