2-year Postdoctoral Researcher in Abstractions for Quantum Software