みなさま
Gent でのposdoc とPhD position の 応募のお知らせを転送します。
新井敏康
---------- Forwarded message --------- From: Fedor Pakhomov Fedor.Pakhomov@ugent.be Date: 2021年7月9日(金) 1:29 Subject: Postdoc and PhD positions in UGent To: Fedor Pakhomov Fedor.Pakhomov@ugent.be Cc: Jeremy Avigad avigad@cmu.edu, Antonio Montalban antonio@math.berkeley.edu, Michael Rathjen michrathjen@snafu.de, Gerhard Jaeger jaeger@inf.unibe.ch, Ulrich Kohlenbach kohlenbach@mathematik.tu-darmstadt.de, Joost Johannes Joosten jjoosten@ub.edu, Beckmann A. a.beckmann@swansea.ac.uk, Pavel Pudlak pudlak@math.cas.cz, Toshiyasu Arai tosarai@gmail.com, Leszek Kolodziejczyk lak@mimuw.edu.pl, Andreas Weiermann Andreas.Weiermann@ugent.be, Lev D. Beklemishev bekl@mi-ras.ru
Dear colleagues,
We have an opening for one postdoc and one PhD positions in UGent. It might be interesting for some of your recent students.
Best wishes, Fedor
*******************************************************
One Postdoc position and one PhD position in Mathematical Logic Project: Recursion, reflection, and second-order arithmetic Supervisors: Fedor Pakhomov, and Andreas Weiermann Host institutions: Ghent University Funding bodies: FWO Application deadline: 31 July, 2021 Contact:fedor.pakhomov@ugent.be
*******************************************************
Postdoc position.
Duration: October 2021 - September 2024
**Application deadline: 31 July, 2021.**
Submissions are welcome for one postdoctoral position in mathematical logic within the research project "Recursion, reflection, and second-order arithmetic". The project aims to make developments in the area of proof theory of fragments of second-order arithmetic. The salary will be standard for postdoc positions in Belgium. Candidates are expected to have a PhD in mathematics, computer science, or a similar subject and have experience conducting research in mathematical logic. Familiarity with proof theory, reverse mathematics, and category theory, or other relevant sub-fields is desirable. Proficiency in written and spoken English is required.
Interested parties may send their application to fedor.pakhomov@ugent.be, consisting of the following documents: + Letter of motivation + Full CV + Name and e-mail address of two or three references + Copy of PhD thesis and 2 selected research papers + PhD diploma (to be handed in before September 1st 2021)
*******************************************************
PhD position.
Duration: October 2021 - September 2025
**Application deadline: 31 July, 2021.**
Submissions are welcome for one PhD position in mathematical logic within the research project "Recursion, reflection, and second-order arithmetic". The project aims to make developments in the area of proof theory of fragments of second-order arithmetic. The salary will be standard for PhD positions in Belgium. Candidates are expected to have a MSc in mathematics, computer science, or a similar subject. Familiarity with proof theory, reverse mathematics, and category theory, or other relevant sub-fields is desirable. Proficiency in written and spoken English is required.
Interested parties may send their application to fedor.pakhomov@ugent.be, consisting of the following documents: + Letter of motivation + Full CV + Name and e-mail address of one or two references + Copy of Master thesis + MSc diploma (to be handed in before September 1st 2021)