[logic-ml] Fwd: Postdoc and PhD positions in UGent

[arai toshiyasu]

みなさま

Gent でのposdoc とPhD position の
応募のお知らせを転送します。

新井敏康


---------- Forwarded message ---------
From: Fedor Pakhomov <Fedor.Pakhomov at ugent.be>
Date: 2021年7月9日(金) 1:29
Subject: Postdoc and PhD positions in UGent
To: Fedor Pakhomov <Fedor.Pakhomov at ugent.be>
Cc: Jeremy Avigad <avigad at cmu.edu>, Antonio Montalban
<antonio at math.berkeley.edu>, Michael Rathjen <michrathjen at snafu.de>,
Gerhard Jaeger <jaeger at inf.unibe.ch>, Ulrich Kohlenbach
<kohlenbach at mathematik.tu-darmstadt.de>, Joost Johannes Joosten
<jjoosten at ub.edu>, Beckmann A. <a.beckmann at swansea.ac.uk>, Pavel
Pudlak <pudlak at math.cas.cz>, Toshiyasu Arai <tosarai at gmail.com>,
Leszek Kolodziejczyk <lak at mimuw.edu.pl>, Andreas Weiermann
<Andreas.Weiermann at ugent.be>, Lev D. Beklemishev <bekl at 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 at 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 at 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 at 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)