### Logic List Mailing Archive

## Postdoctoral position in mathematical logic, Vienna (Austria)

Post-doctoral position in Mathematical Logic at the Technical University of
Vienna, Austria.
I am offering a postdoctoral fellowship in Mathematical Logic at the
research group in Computational Logic of the Institute of Discrete
Mathematics and Geometry at the Technical University of Vienna (TU Wien)
in Vienna, Austria.
The position is for 20 months, with the possibility of extension up to 36
months. It is funded by a grant from the Austrian Science Foundation (FWF)
led by Juan P. Aguilera. The fellow will conduct research independently,
as well as together with Dr Aguilera and with the other members of the
research group in Computational Logic and of the Institute of Discrete
Mathematics and Geometry. Moreover, the research group has ties to other
Logic groups in and outside of Austria, most notably the Logic and
Analysis group at Ghent University, and international collaborations will
be possible and encouraged.
–Topic
The main goal of the post-doctoral fellowship is the use of methods from
infinitary proof theory to attack some specific problems in Descriptive
Set Theory. The fellow is to carry out research independently, as well as
together with other group members. Applicants should hold a PhD (or be
close to obtaining one) in Logic and have an excellent research record, as
well as experience in at least one of the following areas:
*(Infinitary) Proof Theory,
*(Effective) Descriptive Set Theory,
*Subsystems of Second-Order Arithmetic or Set Theory, *Higher Recursion Theory.
–Application
Applicants should email Juan Aguilera <juan.aguilera@tuwien.ac.at> or
<juan.aguilera@ugent.be> and include all relevant documents as attachments.
–Practical Information
The salaries for the doctoral and post-doctoral positions are those set
forth by the Austrian Science Foundation according to the Collective
Bargaining Agreement.
The beginning of the fellowship could be as late as November 2023, and as
early as December 2022; the precise starting date is flexible. We will
carry out monthly reviews of applications until the position is filled.
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/
provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam