95 proof-checking-postdoc-computer-science-logic PhD positions at Technical University of Denmark
Sort by
Refine Your Search
- 
                Listed
- 
                Category
- 
                Field
- 
                
                
                background are encouraged to apply. As DTU works with research in critical technology, which is subject to special rules for security and export control, open-source background checks may be conducted 
- 
                
                
                motivated PhD student with a background in biomedical or pharmaceutical engineering, biomedical sciences or similar. You will work under the supervision of Assistant Professor Lisa Maria Riedmayr 
- 
                
                
                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 Health Tech 
- 
                
                
                checks may be conducted on qualified candidates for the position. DTU Civil and Mechanical Engineering develops and utilizes science and technical knowledge for the benefit of society and sustainable 
- 
                
                
                are encouraged to apply. As DTU works with 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 Science & Technology (KAIST), and an external stay at KAIST will be included as part of the PhD program. Qualifications Proficiency with Python Experience implementing various Machine Learning algorithms 
- 
                
                
                computer science and control systems architecture, advancing all the above disciplines. Building energy flexibility is an important resource for balancing and load shifting in energy networks, especially 
- 
                
                
                level equivalent to a two-year master's degree in Electrical Engineering, Computer Science, Robotics, Safety Engineering, or related fields. Approval and Enrolment The scholarship for the PhD degree is 
- 
                
                
                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 National Food 
- 
                
                
                institutes, and industrial partners across Europe to deliver a world-class doctoral training programme in risk assessment, resilience engineering, and smart technologies. Its scientific vision targets: (1