University of Oslo is hiring:
https://tenuretracker.info/l/MFH1FA_dx/phd-research-fellow-in-formal-methods-and-knowledge-representation-for-engineeri?utm_source=bluesky
#phd #computerscience #formalmethods
---
Extract: We invite applications for a PhD Research Fellow in Formal Methods and Knowledge Representation for Engineering Information at the Department of Informatics. The fellowship period is three years, with a potential extension for teaching and research assistance.