Sort by
Refine Your Search
-
At the Technical Faculty of IT and Design, Department of Computer Science, a 2-year Postdoc position in theories for programming semantics, methods for verification and reliability assurance
-
high academic quality and societal impact. The Department of Electronic Systems employs more than 200 people, of which about 90 are PhD students, and about 40 % of all employees are internationals. In
-
assistants. Our vision is to unlock the combined potential of humans and artificial intelligence (AI) for the rapid and reliable construction of digital systems, guided by rigorous mathematical foundations
-
that aims at giving the European Union the technological edge and independence in next generation Edge AI technology, giving citizens and corporations access to reliable, safe, secure and independent
-
societal impact. The Department of Electronic Systems employs more than 200 people, of which about 90 are PhD students, and about 40 % of all employees are internationals. In total, it has more than 600
-
that pose serious ecological and health risks. Their low concentration and complex behavior make experimental analyses challenging. Developing reliable predictive models is essential to reduce the reliance
-
Power Electronics and Power Electronic Control, Reliability and System Optimization research groups. They are also in relation to AAU Energy's Mission on Digital Transformation and AI as well as Energy
-
on reliability, performance, and digitalization of solar energy systems. Responsibilities and qualifications As a postdoctoral researcher, you will play a key role in advancing DTU Electro’s research by bridging
-
verified by proof assistants. Our vision is to unlock the combined potential of humans and artificial intelligence (AI) for the rapid and reliable construction of digital systems, guided by rigorous
-
that supports responsible, reliable, and actionable science. The research questions, methodology, and project plan for the Post-doc project will be developed together with the supervisor (Joeri Witteveen) in