Sort by
Refine Your Search
-
Listed
-
Employer
- Forschungszentrum Jülich
- Technical University of Munich
- Fraunhofer-Gesellschaft
- Nature Careers
- Academic Europe
- DAAD
- Helmholtz Zentrum München - Deutsches Forschungszentrum für Gesundheit und Umwelt
- Helmholtz-Zentrum für Infektionsforschung GmbH
- Max Planck Institute for Demographic Research (MPIDR)
- Max Planck Institute for Demographic Research, Rostock
- Technische Universität Darmstadt
- UNIVERSITY OF TECHNOLOGY NUREMBERG
- UNIVERSITÄT BREMEN
- University of Bonn
- 4 more »
- « less
-
Field
-
capacity, energy consumption, and costs Tool and model integration To learn more about our previous work, please check out our website (www.cda.cit.tum.de/research/etcs/ ) and open-source implementations
-
applications. For an overview of our previous work, please check out our web pages on software/design automation for microfluidics (www.cda.cit.tum.de/research/microfluidics/ ). In the future, we are aiming
-
on superconducting quantum 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
Searches related to model checking
Enter an email to receive alerts for model-checking positions