Post doc in quantum compiling