17 proof-checking-postdoc-computer-science-logic PhD positions at Nature Careers in Denmark
Sort by
Refine Your Search
- 
                
                
                The Department of Mathematics and Computer Science (IMADA) at the University of Southern Denmark, Odense, invites applications for a PhD position in quantum programming languages. The position has 
- 
                
                
                2026 or as soon as possible thereafter. We expect Degree. A two-year master’s degree (120 ECTS) in Robotics, Electrical Engineering, Software Engineering, Computer Science, or an equivalent field (or a 
- 
                
                
                background checks may be conducted on qualified candidates for the position. Technology for people DTU develops technology for people. With our international elite research and study programmes, we are helping 
- 
                
                
                The Department of Mathematics and Computer Science at the University of Southern Denmark, Vejle, invites applicantions for PhD positions with a focus on Software Architectures and Mining Software 
- 
                
                
                Applicants must have qualifications corresponding to a master’s degree related to the subject area of the project, e.g. population genetics, computational biology, bioinformatics, biology, computer science 
- 
                
                
                A 3-year PhD position is available at Nordcee , Department of Biology, University of Southern Denmark, Denmark. The start date is January 1st, 2026. We are seeking a PhD candidate to explore 
- 
                
                
                innovative technology to real-world conservation challenges, working directly with data that informs habitat management and biodiversity protection. Expected start date and duration of employment This is a