92 proof-checking-postdoc-computerscience PhD positions at Technical University of Denmark in Denmark
Sort by
Refine Your Search
- 
                Listed
- 
                Category
- 
                Field
- 
                
                
                in English in one PDF file. The file must include: A letter motivating the application (cover letter) describing your interest and fit for the position Curriculum vitae Grade transcripts and BSc/MSc 
- 
                
                
                research in critical technology, which is subject to special rules for security and export control, open-source background checks may be conducted on qualified candidates for the position. About DTU Aqua DTU 
- 
                
                
                checks may be conducted on qualified candidates for the position. At DTU Physics, we perform research, teaching, and innovation in experimental and theoretical physics with the overall aim to benefit 
- 
                
                
                critical technology, which is subject to special rules for security and export control, open-source background checks may be conducted on qualified candidates for the position. DTU Entrepreneurship is 
- 
                
                
                Job Description We are looking for outstanding experimentalists who are eager to participate in our research. Our group aims to research at the highest international level. Candidates who fit 
- 
                
                
                special rules for security and export control, open-source background checks may be conducted on qualified candidates for the position. DTU Compute DTU Compute – Department of Mathematics and Computer 
- 
                
                
                Prevention through Design and Planning (PtD/P), risk assessment, and safety compliance checking processes, and new performance requirements and measurement (metrics) for both lean and safe workflow planning 
- 
                
                
                research in critical technology, which is subject to special rules for security and export control, open-source background checks may be conducted on qualified candidates for the position. DTU Management 
- 
                
                
                background checks may be conducted on qualified candidates for the position. DTU National Food Institute DTU National Food Institute conducts research into and disseminates - through advice, innovation and 
- 
                PhD scholarship in Runtime Multimodal Multiplayer Virtual Learning Environment (VLE) - DTU ConstructPlanning (PtD/P), risk assessment, and safety compliance checking processes, and (b) new performance requirements and measurement (metrics) for both lean and safe workflow planning and scheduling. In