Logic List Mailing Archive

CfA: 1+1 y postdoc, "Between proof theory, reverse mathematics, and the model theory of arithmetic" in Warsaw, deadline: November 16

Dear Colleagues,

a postdoc position at the University of Warsaw is available within my resea
rch project "Between proof theory, reverse mathematics, and the model theor
y of arithmetic". The position is for 12 months, but with the option of an 
extension for another 12 months.

The project concerns a number of topics related to first- and second-order 
arithmetic, with an emphasis on using nonstandard models to obtain results 
on (un)provability and proof size. The three main research directions are:

1. Models of collection principles, in particular expansions of models that
 satisfy collection but not induction for a given class of formulas.
2. The first-order consequences of second-order statements (in particular c
ombinatorial
statements) over various base theories in second-order arithmetic.
3. The development of a theory of proof sizes and proof speedup for subtheo
ries of arithmetic.

In practice, there should be a lot of freedom to choose specific problems t
o work on.

The position comes with no teaching obligations. The application deadline i
s November 16, 2024, and the employment period should begin between March 1
 and October 1 of 2025. The official announcement may be found for instance
 at:

https://www.mimuw.edu.pl/~lak/GR-7197_post-doc_call_ENG.pdf

Please contact me (lak at mimuw.edu.pl) if you want to know more.

Best regards,
Leszek Koodziejczyk
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php