2 software-verification Fellowship research jobs in Norway

PhD Research Fellow in Formal Methods for Industrial Engineering

University of Oslo | Norway | 4 days ago

have until June 30, 2026 to complete the final exam. Desired qualifications: Experience with formal specification and modelling Experience with formal verification Experience with software engineering

PhD Research Fellow in IT-security in context of resilient and reliable systems

University of Oslo | Norway | 4 days ago

of more of the following is desired: software engineering and systems design, formal methods, verification, and/or modelling, design and techniques for resilient and reliable systems (e.g. decentralised