Postdoctoral positions are available in my group for the project Foundations of quantum computational advantage (https://www.foqacia.org/).

This posting targets candidates with a background in polyhedral computation, graph theory, and/or quantum computing.

Project: Classical simulation algorithms provide a rigorous approach to analyzing the computational advantage of quantum computers. The advantage is achieved if all such classical simulation algorithms fail to simulate efficiently. Different classical simulation algorithms exist, e.g., based on stabilizer tableaus, stabilizer rank decompositions, and Wigner functions. Recently a new algorithm based on polytope theory has been introduced; see https://arxiv.org/abs/2004.01992. This project aims to study the complexity of the algorithm using polytope-theoretic tools.

Applications are through mathjobs (https://www.mathjobs.org/jobs/list/22256) with a June 15, 2023 deadline.

Feel free to contact me if you have any questions.