Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
-
Field
-
verification of cyber-physical systems. The Technical University of Munich is one of the top research universities in Europe fostering a strong entrepreneurial spirit and international culture. Expected Starting
-
10.08.2021, Academic staff Positions in the Formal Methods for Software Reliability group of TU Munich led by Prof. Jan Kretinsky: - postdoc in the area of quantitative verification - PhD student in
-
in coastal carbon cycling, marine Carbon Dioxide Removal (mCDR), and its Measurement, Reporting, and Verification (MRV). Within the Horizon Europe project MAR-CO2, this postdoc will focus on direct
-
contribution towards IceCube-Gen2, with a particular focus on hardware and radio technology Responsibilities for the laboratory tasks towards IceCube-Gen2 and contribution to the project management in
-
, forward-looking, and varied research fields and projects, with numerous development opportunities Modern hardware and infrastructure at the workplace, from compute and GPU servers to supercomputers
-
, including hardware interlocks Ability to work independently and collaboratively in multidisciplinary teams, including engineers, scientists, and technical staff. Knowledge is expected in the following areas
-
such as scalable identification algorithms, uncertainty quantification, and the integration of learning-based models with formal verification. We offer a supportive, inclusive, and collaborative research
-
hardware. This includes developing a magnetic shielding for the SQUID-based readout of the experiment and interfacing with the experts developing the cryogenics and cavity systems. In addition, the candidate
-
-on experience with robotic hardware (e.g., robot arms, tactile sensors) Familiarity with model-based planning approaches, robot force/motion control, and reinforcement learning Proficiency in programming (C
-
learning, safety-critical control, probabilistic modeling, verification, or optimization; Excellent communication skills in English and the ability to work both independently and collaboratively in