Many PhDs and Postdocs in Uncovering the Axioms of Mathematics in Vienna [AT]

Up to 12 postdoc and 12 PhD positions open withing the 5-year project aiming to explore the axioms of mathematics taking into account aspects of mathematical logic, complexity theory, automated theorem proving, and philosophy.

The applicants should have a strong background in at least one of the following fields: mathematical logic, theoretical computer science, universal algebra, or philosophy of mathematics.  Applications will be accepted until the positions are filled. For full consideration,apply by May 22th, 2026.