Sort by
Refine Your Search
-
on formal verification and reachability analysis using logical zonotopes, with applications in digital circuit verification and model checking. Candidates should have a strong mathematical background and
-
, ultracold quantum gases, quantum simulation, quantum computing, and verification of quantum devices. For inquiries, please send your curriculum vitae and a brief research statement. Candidates should also
-
Helmholtz-Zentrum Dresden-Rossendorf - HZDR - Helmholtz Association | Dresden, Sachsen | Germany | 3 months ago
contribution to our focus project of realizing online-adaptive proton therapy, enabled by an AI driven, fully automatized feedback loop of imaging, PGI-based treatment verification and fast adaptation. Therefore
-
‘verification’ within the Cluster. Collaboration with colleagues at the Cluster, at PRIF and at JLU. Support for the local, national, and international networking activities of the Research Group, the Cluster and