-
& Compiling: Circuit optimization, co-compilation, and error-correction-aware resource minimization. Generative Models: Exploring quantum advantage in generative machine learning, specifically hybrid approaches
-
, stochastic thermodynamics, and quantum physics. The research will focus on three main directions: Thermodynamic computing: developing physics-inspired alternative models of computation that aim to reduce
-
"I agree to the processing of my personal data contained in the application documents for the purposes necessary for the implementation of the process recruitment by CTP PAS". Cover letter. A copy of
Searches related to model checking
Enter an email to receive alerts for model-checking positions