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

Assistant (tenure-track) and Associate Professor positions in Data Science at the Department of Mathematics and Computer Science, SDU Vejle

University of Southern Denmark | Denmark | 3 months ago

on choreographic programming, distributed computing (cloud, edge, IoT, microservices), Dev(Sec)Ops, information security, formal methods (concurrency theory, theorem proving, type systems, etc.), logic and knowledge

Tenure-track Assistant and Associate Professorship positions in Algorithms at the Department of Mathematics and Computer Science, SDU Vejle

University of Southern Denmark | Denmark | 3 months ago

, distributed computing (cloud, edge, IoT, microservices), Dev(Sec)Ops, information security, formal methods (concurrency theory, theorem proving, type systems, etc.), logic and knowledge representation