We also have an open post-doc position in Dan Browne’s group on the theory of quantum compilers as part of the project “Compilation and Verification of Quantum Software in the Noisy and Approximate Regime” in collaboration with Aleks Kissenger at Oxford and Noah Linden at Bristol.
Further details and an application link can be found here: