56 formal-verification-computer-science Postdoctoral positions at Technical University of Denmark in Denmark
Sort by
Refine Your Search
-
Jax) Large-scale computations As a formal qualification, you must hold a PhD degree (or equivalent). We tend to work in teams, so a collaborative spirit is required. We offer DTU is a leading technical
-
Engineering, you will support the development of these technologies. Specifically, we are working on projects where a high temperature heat pump will increase the efficiency of thermal carbon capture. We study
-
this technology and driving high-impact research outcomes. This postdoctoral position is funded by the European Innovation Council under the Pathfinder project Digital OpticaL cOmputing platfoRm for nEural networkS
-
Job Description Are you looking to grow your career in intelligent embedded systems and edge computing? Join the Embedded Systems Engineering (ESE) research section at DTU Compute , where your