Sort by
Refine Your Search
-
Country
-
Employer
- Technical University of Munich
- DAAD
- University of Basel
- University of Melbourne
- ETH Zürich
- Ghent University
- Harvard University
- Instituto Superior de Agronomia
- KNAW
- Lunenfeld-Tanenbaum Research Institute
- Max Planck Institute for Chemistry, Mainz
- OCAD University
- St. Anna Children's Cancer Research Institute (St. Anna CCRI)
- St. Anna Kinderkrebsforschung e.V.
- University of Regensburg
- Université Lumière Lyon 2
- 6 more »
- « less
-
Field
-
questions. The advertised positions will be part of the project “QS-Gauge: quantum simulation of lattice gauge theories”, funded by the Emmy Noether programme of the DFG. The project’s overarching goal is the
-
group investigates the mathematical foundations of programming and automated reasoning about software. Our research spans programming languages and type systems, program analysis and verification, logic
-
/interests, some PhD students and postdocs are based at the other participating locations (Augsburg, Munich, Mainz, Hamburg). Interaction between the locations will be supported through hybrid options
-
more about logical zonotopes: paper link: https://lnkd.in/e-avQ-2B talk link: https://lnkd.in/eYGWFKmy You will conduct original research on logical–zonotope–based methods for model checking and digital
-
Theory and Modeling team at the Max Planck Institute for Chemistry, focusing on molecular-level mechanisms of nanoparticle processes. His group develops computational frameworks that integrate quantum
-
days) to approximately three months. Longer stays may be considered if additional funding is obtained from other sources. Applicants must return to their country of origin at the end of the stay. Travel
-
parameters are tuned so that the over-approximation of the computed reachable set is small enough to verify a given specification. We will demonstrate our approach not only on ARCH benchmarks, but also on
-
Your profile PhD applicants must possess a Master's degree in mathematics, theoretical physics, computer science, or a related field. Postdoctoral applicants must hold, or be close to completing, a
-
of this work is to push the capabilities and reliability of modern AI systems on challenging reasoning problems. Position available starting around October 2026 (position may begin later as well). The PhD
-
of Canada. For information about eligibility and selection criteria and application open and closing dates, see: Canada Postdoctoral Research Award program. The information listed here is subject to change