Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
- Forschungszentrum Jülich
- Leibniz
- Nature Careers
- Technical University of Munich
- Fraunhofer-Gesellschaft
- DAAD
- Academic Europe
- Analytical Food Chemistry at Technical University of Munich
- Max Planck Institute for Demographic Research (MPIDR)
- Alfred-Wegener-Institut Helmholtz-Zentrum für Polar- und Meeresforschung
- Christian-Albrechts-Universitaet zu Kiel
- Existential Consciousness Research Institute Schloss Kränzlin
- FZJ - Forschungszentrum Jülich
- Freie Universität Berlin •
- Friedrich Schiller University Jena •
- GFZ Helmholtz-Zentrum für Geoforschung
- Helmholtz Zentrum Hereon
- Helmholtz-Zentrum Hereon
- Hochschule Bielefeld – University of Applied Sciences and Arts
- Max Planck Institute for Heart and Lung Research, Bad Nauheim
- Max Planck Institute for Demographic Research, Rostock
- Max Planck Institute for Intelligent Systems, Tübingen, Tübingen
- Max Planck Institute for Molecular Genetics •
- Max Planck Institute for Solar System Research, Göttingen
- Max Planck Institute of Geoanthropology, Jena
- Max Planck Institute of Molecular Plant Physiology •
- TU Dortmund
- Technische Universität Berlin •
- Ulm University •
- University of Cologne
- University of Göttingen •
- University of Konstanz
- University of Stuttgart •
- Universitätsklinikum Jena
- 24 more »
- « less
-
Field
-
computers Developing algorithms to decompose (arbitrary) unitaries into native operations of a given target system Optimizing circuits taking error models of actual hardware into account Exploiting quantum
Searches related to model checking
Enter an email to receive alerts for model-checking positions