1 Jobs found

Postdoc positions in Quantum SoftwareWe offer PostDoc positions in the area of Quantum Software Verification, Compilation and Optimization. Interested applicants with strong analytical skills and a desire to work on algorithmic and modeling challenges focused on Quantum Circuits are encouraged to contact us with a CV and a short description of interests. The applicants must have a strong background in Theoretical Computer Science (e.g., programming language theory, formal methods, or algorithms/optimization) and be open to practical computational experiments. PostDoc applicants must further demonstrate a solid history of academic writing and publishing, as well as carrying out independent research. The appointments will be held at the department of Computer Science, at Aarhus University, w...