Open Call for Applications - 

PhD and Postdoc positions in UnAxiMa: Uncovering the Axioms of Mathematics 

The FWF Emerging Fields project UnAxiMa (Uncovering the Axioms of Mathematics) is offering up to 12 postdoc positions and up to 12 PhD positions at TU Wien and the University of Vienna, Austria. The goal of the 5-year project is to explore the axioms of mathematics taking into account aspects of mathematical logic (in particular, set theory, computability theory, and reverse mathematics), complexity theory, automated theorem proving, and philosophy. The project is jointly led by six principal investigators: 

• Juan P. Aguilera (TU Wien), 
• Vera Fischer (University of Vienna), 
• Laura Kovács (TU Wien), 
• Sandra Müller (TU Wien), 
• Michael Pinsker (TU Wien), and
• Georg Schiemer (University of Vienna). 

UnAxiMa is looking for highly motivated and creative candidates, and in particular encourage female researchers to apply. 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. For the PhD positions the requirements are a Master's degree or equivalent in mathematics, computer science, or philosophy. For the postdoc positions the requirements are a PhD or equivalent in mathematics, computer science, or philosophy. Successful candidates will be based at either TU Wien or University of Vienna, but will collaborate with all of the 18-30 team members intensively.

Dates:

Applications will be accepted until the positions are filled. For full consideration, we encourage applications by May 22nd, 2026. Successful applicants will start in October 2026 or as soon as possible thereafter, but not later than October 2027. The duration of the positions will be up to 4 years (for PhD positions) and 3 years (for postdoc positions), with initial contracts offered for one year, and prolongation subject to evaluation. The positions carry no teaching load; however, participation in teaching might be arranged if desired. There is sufficient funding for conference and research exchange trips.

Online interviews are planned for June 15th–17th, 2026.

Documents:

Applicants will be required to submit: 

• a motivation letter, 
• CV (including list of publications, if applicable), 
• a statement of research experience and interests (2 pages maximum). 
• In the case of the PhD positions, a transcript of records as well as a copy of the Master's thesis should be included if available (otherwise, any other written work such as a draft or Bachelor's thesis are welcome). 
• Contact details for two references who have agreed to provide recommendation letters if contacted by UnAxiMa. 

How to apply:

Applications should be submitted through EasyChair via the following link:

https://easychair.org/conferences/?conf=unaxima26

Informal inquiries about these posts may be directed to Professor Michael Pinsker, chair of the Hiring Committee, at jobs@unaxima.com.