Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
-
Field
-
for Basic Research in Program Verification (CPV) include: extensions of higher-order concurrent separation logics (such as our Iris logic, see iris-project.org ), e.g., to reason about distributed systems
-
: Control and operation of distributed energy resources and microgrids Ancillary services and stability of electrical grids Power system simulation using tools such as DIgSILENT PowerFactory and MATAB
-
Job Description Do you care about fish welfare? Do you want to make a difference for fish and put their wellbeing on focus for the aquaculture of the future? DTU Aqua is seeking a motivated and
-
“WaterColor: Unraveling the Shades of Change in Greenlandic Marine Waters.” The project is led by the National Institute of Aquatic Resources (DTU Aqua) in collaboration with universities and research
-
, rainbow trout? Are you comfortable both with a pipet on hand in the lab and getting out and working in collaboration with the aquaculture industry? Here is an opportunity for you! At DTU’s National
-
Two Senior Innovation Coaches (specialkonsulent) for Early-stage Medical Technology Innovation Teams
experiences of commercialization is needed for both positions. What is BioMedical Design? BioMedical Design is a unique 1o-months fellowship where experienced professionals are trained in needs-driven
-
systems. We develop design technologies and computing platforms for distributed and embedded systems, with applications in IoT, Edge AI, safety-critical systems, and quantum computing. We are seeking new
-
Job Description The aim of this PhD project is to investigate the immediate and long-term deformation behaviour of plain and fiber-reinforced concrete using distributed fibre-optical sensing (FOS
-
. The associate professorships are permanent positions and either part-time or full time, while the assistant professorships have a duration of three years and are full time. The place of work is at the University