Postdoctoral Researcher in Proof Theory: The Institute of Mathematics at the Faculty of Mathematics, Informatics, and Mechanics, University of Warsaw, invites applications for a postdoctoral researcher position. The selected candidate will join the project “Between Proof Theory, Reverse Mathematics, and the Model Theory of Arithmetic,” funded by the Polish National Science Centre and led by Dr. hab. Leszek Kołodziejczyk.
Postdoctoral Researcher in Proof Theory, Reverse Mathematics, and Model Theory of Arithmetic
Designation:
Postdoctoral Researcher (Full-time, adiunkt)
Research Area:
- Proof Theory
- Reverse Mathematics
- Model Theory of Arithmetic
Location:
Institute of Mathematics, Faculty of Mathematics, Informatics, and Mechanics, University of Warsaw, Warsaw, Poland.
Eligibility/Qualification:
- PhD in mathematical logic or a related field (degree obtained within the last 7 years by the time of employment).
- Research experience in nonstandard models of arithmetic, proof theory of arithmetic, or reverse mathematics (evidenced by publications or preprints).
- Experience using nonstandard models to obtain provability or unprovability results is an advantage.
- Applicants must meet the conditions specified in Article 113 of the Law on Higher Education and Science.
Job Description:
The postdoctoral researcher will work on key areas of the project, including:
- Models of collection principles in first- and second-order arithmetic.
- Investigating first-order consequences of second-order combinatorial statements.
- Developing a theory of proof sizes and proof speedup for arithmetic subtheories.
This is a full-time research position with no teaching obligations. The initial contract is for one year, with a possible extension for a second year. The starting date can be negotiated between March 1, 2025, and October 1, 2025. The gross monthly salary is approximately 9,000 PLN.
How to Apply:
Interested candidates should submit the following documents:
- A signed cover letter addressed to the Dean of the Faculty of Mathematics, Informatics, and Mechanics, University of Warsaw.
- A copy of the PhD diploma (or a thesis summary and expected defense date if the degree has not yet been obtained).
- A scientific CV with a list of publications.
- Up to three recent publications.
- Two recommendation letters from senior researchers, sent directly to Dr. hab. Leszek Kołodziejczyk at lak@mimuw.edu.pl.
All documents should be submitted as PDF attachments via email to lak@mimuw.edu.pl.
Last Date to Apply:
November 16, 2024
Results will be communicated to applicants by January 15, 2025.
