1 software-formal-method-phd positions at University of Southern Denmark

Tenure-track Assistant and Associate Professorship positions in Data Science and Machine Learning at the Department of Mathematics and Computer Science

University of Southern Denmark | Denmark | 3 months ago

, microservices), Dev(Sec)Ops, information security, formal methods (concurrency theory, theorem proving, type systems, etc.), logic and knowledge representation, optimisation, and post-quantum and embedded