Sort by
Refine Your Search
-
. 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
-
fundamental and applied research within verification and model checking, embedded and cyber-physical systems, data-intensive systems, AI, planning, networks, programming theory, and security. Applications span
-
. 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
-
verification of their activity and benchmarked against known enzymes. Electrospinning will be used to recycle textile fibers as well as to generate substrates with different material composition and
-
. 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