Full-time postdoctoral role in automated reasoning for quantum knowledge: advance classical representation and reasoning of quantum systems, lead proposal development, mentor PhD candidates, conduct limited teaching, and collaborate across quantum information and theoretical computer science.