1 machine-learning Postdoctoral positions at University of Gothenburg in Sweden

Postdoc in Formal methods for Correct-by-Design of Autonomous Systems

verification, model checking, etc. Moreover, we are open to techniques that leverage the use of formal verification in machine learning. Currently, we are actively developing specialised tools for reconfigurable