1 knowledge-reduction PhD positions in Denmark

PhD Stipend in programming semantics, verification and reliability assurance of combined classical and quantum communicating and computing systems (DEIS)

Aalborg University | Denmark | 2 months ago

for establishing properties of quantum programs - Reduction methods and metrics for quantum systems - Decision diagrams for efficient analysis and simulation of distributed quantum programs - Statistical model