Floris Geerts
2 months ago
This position has expired. You can find similar positions from the section below or browse our positions listing pages.
Postdoc in Automated Reasoning for Quantum Knowledge at the University of Antwerp University of Antwerp in Belgium
Degree Level
Postdoc
Field of study
Computer Science
Funding
Postdoctoral research position for 1–3 years, starting around October 2026 or as soon as possible thereafter. Funding details such as salary or stipend are not specified in the post.
Country
Belgium
University
University of Antwerp

How do I apply for this?
Sign in for free to reveal details, requirements, and source links.
Suggested positions
Keywords
About this position
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.
Funding details
Postdoctoral research position for 1–3 years, starting around October 2026 or as soon as possible thereafter. Funding details such as salary or stipend are not specified in the post.
What's required
Candidates worldwide must hold, or be close to obtaining, a PhD. The post emphasizes research ability in automated reasoning and quantum knowledge representation, with willingness to collaborate on grant proposals, supervise PhD students, and contribute to light teaching activities.
Ask ApplyKite AI
Professors

How do I apply for this?
Sign in for free to reveal details, requirements, and source links.