59 proof-checking-postdoc-computer-science-logic uni jobs at Technical University of Denmark in Denmark
Sort by
Refine Your Search
-
irrespective of age, gender, disability, race, religion or ethnic background are encouraged to apply. As DTU works with research in critical technology, which is subject to special rules for security and export
-
such as MAX-IV synchrotron set-ups and our own national facility, E-MAT. We also have many colleagues that are very strong in AI and computational modelling of battery materials, and we are building labs
-
though any lack of specific technical skills will be taught on-the-job.. You have a Bachelors, or Masters, degree in computer science, software engineering, electrical engineering or a related subject. Our
-
Education Programmes (SEP) needed to future-proof the careers of Science, Technology, Engineering and Math (STEM) professionals in wind and energy systems through their acquisition of advanced digital skills
-
. You will be part of an ambitious international and interdisciplinary research team in the Human Behaviour Section of DTU Management’s Transportation Science Division. Our expectations of you You must
-
. We are building up capabilities in technology and policy impact assessment building onto our existing optimization models and tools with the aim of developing a comprehensive understanding for whole
-
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 Mechanical
-
with digital technologies for big data-driven strain design. Key partners in this initiative are The Novo Nordisk Foundation Center for Biosustainability’s (DTU Biosustain) Biofoundry and the University
-
within electrical engineering, computer science, mechanical engineering, or a similar technical field), but no formal education requirements apply for the position. We offer A flexible part-time position
-
these projects. The job Primary areas of responsibility are to support the integration of computational workflows, interactive environments, and data pipelines within research projects (including complex