Floris Geerts

Postdoctoral researcher opening in automated reasoning for quantum knowledge at the University of Antwerp . The project, Automated Reasoning for Quantum Knowledge , is led by Alfons Laarman at Leiden University together with Guillermo Perez and Floris Geerts at the University of Antwerp. The research sits at the intersection of theoretical computer science and quantum computing , with a focus on quantum knowledge representation , automated reasoning, and related logic/algorithmic methods. The role includes conducting research, collaborating on grant proposals, supervising PhD students, and contributing to light teaching activities. The post is open to candidates worldwide who hold, or will soon obtain, a PhD. Location: University of Antwerp Start date: around October 2026, or as soon as possible thereafter Duration: 1–3 years Interested candidates should contact Guillermo Perez by email or reach out to Floris Geerts on LinkedIn. The post also references recent related work on quantum-circuit simulation and rank-width-based methods.