-
adjustment (GIA), elastic deformation, and ice mass changes. You are expected to, Coordinate field logistics for field campaigns in Greenland. Create and analyze GNSS-IR time series for coastal GNET stations
-
. 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