Sort by
Refine Your Search
-
Category
-
Country
-
Employer
- Technical University of Munich
- European Magnetism Association EMA
- Heidelberg University
- Helmholtz-Zentrum Dresden-Rossendorf - HZDR - Helmholtz Association
- University of Basel
- Université de Limoges
- ELLIS Institute Finland
- ETH Zürich
- Foundation for Research and Technology-Hellas
- Helmholtz Association of German Research Centres
- IDIVAL
- Lodz University of Technology
- Max Planck Institute for Biological Intelligence (Seewiesen site), Seewiesen
- Max Planck Institute for Chemistry, Mainz
- OCAD University
- St. Anna Children's Cancer Research Institute (St. Anna CCRI)
- St. Anna Kinderkrebsforschung e.V.
- Stanford University
- University Hospital Essen, Collaborative Research Centre 1752
- University of Vaasa
- University of Würzburg - NUCLEATE Excellence Cluster
- VIB
- 12 more »
- « less
-
Field
-
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
-
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
-
particularly welcome strong candidates from physics, engineering, computational science, or other areas of chemistry, with high motivation and strong theoretical/analytical/coding ability. Your opportunity We
-
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
-
Description of the offer : We are seeking to recruit a number of PhD and postdocs working on the theory of magnetism, spintronics and their interface with quantum information science. The PhD
-
unprecedented image quality and quantitative performance. As part of a multidisciplinary team spanning optics, acoustics, electronics, computation, engineering, physics, medicine, and clinical translation, you
-
University Hospital Essen, Collaborative Research Centre 1752 | Essen, Nordrhein Westfalen | Germany | 2 months ago
Rhine-Westphalia, Germany. The available projects span experimental, computational and translational approaches. Research areas include Melanoma biology Tumor immunology Cancer metabolism Spatial and
-
University of Würzburg - NUCLEATE Excellence Cluster | Oettingen in Bayern, Bayern | Germany | 2 months ago
exciting program at the Würzburg site. For further information on the research topics of the individual groups in Würzburg, please see the PI profiles on our website: www.nucleate-cluster.de/about/ . An
-
, formal methods, convex geometry). 2. Master’s or PhD in Computer Science, Electrical Engineering, Control Systems, or a closely related field. 3. Experience in reachability analysis, formal verification
-
Rydberg Atom-Arrays • Numerische Methoden mit Tensornetzwerken • Topologische Ordnung und (de)confinement in string-net Modellen • Quantenfeldtheorie, Gitter-QCD Bitte senden Sie Ihre Bewerbung per E-Mail