-
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