27 formal-verification-computer-science PhD positions at University of Southern Denmark in Denmark
Sort by
Refine Your Search
-
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
-
and characteristics: Master’s degree in Software Engineering, Computer Science, Embedded Systems, Artificial Intelligence, or a closely related field. Strong programming and system integration skills in
-
Position in XAI with Commonsense Knowledge for Robotics and Computer Vision 2. PhD Position in Sustainable AI for Enhancing Health Informatics (Please scroll down to read more about the project descriptions
-
21 Oct 2025 Job Information Organisation/Company University of Southern Denmark Department Centre for Rural Research at the Department of Political Science and Public Management Research Field
-
to finishing a MSc degree in computer science, mathematics, or a related field. A strong proficiency in mathematical formalism, demonstrated for example in a theoretical thesis, and interest in the topics
-
a M.Sc. in chemistry (for 5+3 programme). Candidates close to defending their M.Sc. thesis are also welcome to apply (M. Sc. defence must be completed prior to start date for the 5+3 program). We
-
letters. Closing date Feburary 28th 2026 Successful candidates will be asked to send an application to the PhD Secretariat, Faculty of Health Sciences, to be enrolled as PhD students. The PhD programme will
-
. Employment stops automatically at the end of the period.(the 5+3 programme ). Further information about the PhD programme at the Faculty of Science can be found at the homepage of the University