95 proof-checking-postdoc-computer-science-logic PhD positions at Technical University of Denmark in Denmark
Sort by
Refine Your Search
- 
                Listed
- 
                Category
- 
                Field
- 
                
                
                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. The Department of Chemistry performs 
- 
                
                
                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 
- 
                
                
                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 
- 
                
                
                following qualifications: Programming skills and AI interest Data analytical skills and computer science focus Experiences with chemical analysis and pilot experiments is an advantage. Knowledge 
- 
                
                
                background checks may be conducted on qualified candidates for the position. The Department of Environmental and Resource Engineering (DTU Sustain) is one of the largest university departments specializing in 
- 
                
                
                engineering, statistics, physics, mathematics, data science, informatics or similar degree with an academic level equivalent to a master's degree. The candidate should preferably have: Dedication and the desire 
- 
                
                
                , biochemistry, molecular biology, biotechnology, or a related discipline. You must have: Expertise in either computational protein design or wet lab techniques, with a willingness to learn the complementary skill 
- 
                
                
                characterization of glycoside hydrolases, and a postdoc working on computational modelling of the same enzymes. The PhD focuses on ligand-observed NMR analyses and other relevant methods to provide insight 
- 
                
                
                candidate in the Acoustic Technology group at DTU Electro, you will conduct fundamental research in statistical signal processing and machine learning for microphone arrays, addressing real-world challenges 
- 
                
                
                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. Technology for people