3 formal-method-phd PhD positions at University of Southern Denmark

PhD Position in Computer Science (Data Mining and Machine Learning)

University of Southern Denmark | Denmark | 5 days ago

Job Description The Department of Mathematics and Computer Science  (IMADA) at the University of Southern Denmark  (SDU), Campus Odense, invites applications for one PhD candidate position in

PhD Position on Adaptive Systems for Sustainable Computing

University of Southern Denmark | Denmark | 7 days ago

, current methods are either static, rely on heavy offline training, or fail to adapt to changing environments. This PhD project will develop intelligent software agents capable of autonomously optimizing

PhD position in Algorithms

University of Southern Denmark | Denmark | about 2 hours ago

approximation algorithm, using linear programming methods. Over the next years, the project will grow to a collaborate team of 4-5 PhD students and Postdocs. The successful candidate will work directly with the