Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
-
Field
-
to improve the autonomy of Field Robotic systems by fusing control theoretic and machine intelligence approaches. Formal models are directly applied in real experimental facilities. We are seeking a Post
-
. Develop GUI tools for the developed methods. Publish high-quality journal papers. Supervise MSc student projects and be co-supervisor for PhD students. The successful candidate is expected to have: A keen
-
, and spatial transcriptomics. Key responsibilities include: Developing AI/ML methods for image alignment across modalities Automated feature detection Predictive modeling of vascularization patterns
-
. The position focuses on frequency-domain electromagnetic (FEM) and transient electromagnetic (TEM) methods. The successful candidate will contribute to the development of an inversion framework for the joint
-
animal species, generating standardized data that works effectively across diverse languages and cultural contexts while eliminating traditional barriers of recall bias. These methods are being deployed in
-
- PhD student in quantitative verification interested in co-developing Automata Tutor - main developer of Automata Tutor Positions in the Formal Methods for Software Reliability group of TU Munich led by