-
. The fellowship will focus on the damage evolution and formation of fractures in ice sheets. The successful applicant will be part of the research center PRECISE (PREdicting Changes in Ice Sheets on Earth) (https
-
the absolute forefront of observing and modeling two of Greenland’s largest glaciers -- Jakobshavn Isbræ and the Northeast Greenland Ice stream (NEGIS). You will use GNSS data on ice surface and bedrock
-
. Responsibilities: Conduct research in time-predictable computer architecture. Designing a network-on-chip for real-time automotive systems Verify the design with modern verification methods, such as function
-
expertise in autonomous marine systems. The research focus will be on development, implementation and verification of novel algorithms for motion planning and control of autonomous underwater vehicles. You
-
. We are looking for you if you have a background and interest in programming languages and formal methods --- e.g., has taken courses in program analysis, verification, compiler construction and/or