Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
/model checking, probabilistic or timed systems, automated theorem proving (Isabelle, Coq). Besides, we strongly appreciate experience with developer activities as described below. Developer: Your tasks
-
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
-
compressor stages, supported by numerical modelling and simulations of performance-enhancing design features. In this research project you will be able to experience hands-on testing of a high-speed and engine
-
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