Floris Geerts

Has grant

Professor

University of Antwerp

Belgium

Research Interests

Explore related searches

Professors in Belgium Professors in Cybersecurity Cybersecurity professors in Belgium

Contact this professor

ORCID

Google Scholar

Recent Grants

Grant: Close

Updates en Provenance in Data- en Kennisbanken

Open Date: 2016-01-01

Close Date: 2019-12-31

Grant: Close

Accelerating Inference in Probabilistic Programs and Databases.

Open Date: 2015-01-01

Close Date: 2018-12-31

Grant: Close

Computational models for big data algorithms.

Open Date: 2014-03-01

Close Date: 2018-02-28

Grant: Close

Querying distributed dynamic data collections.

Open Date: 2013-01-01

Close Date: 2016-12-31

Grant: Close

Probabilistic data cleaning.

Open Date: 2013-01-01

Close Date: 2016-12-31

Positions (1)

Floris Geerts

University Name

University of Antwerp

Postdoc in Automated Reasoning for Quantum Knowledge at the University of Antwerp

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.