Logic List Mailing Archive

CfA: PhD scholarship in Proof Theory and Analytic Combinatorics, Ghent (Belgium), deadline: 31 Mar 2026

PhD scholarship

Institute for Analysis, Logic and Discrete Mathematics

Ghent University

--------

Project Title: Phase transitions and logical limit laws via analytical combinatorics

Research Focus: The project operates at the interface of analytic combinatorics, proof theory, and ordinal analysis. Key objectives include:

  *
     Identifying and characterizing phase transition thresholds in
     mathematical assertions using proof-theoretic tools and combinatorial
     methods.
  *
     Applying analytic combinatorics to ordinal-theoretic and tree-based
     structures for precise asymptotic and density analyses.
  *
     Extending limit laws to large segments of proof-theoretic ordinals.
  *
     The specific focus can be adapted based on the candidate's background.

Position Details:

  *
     Supervisor: Prof. Dr. Andreas Weiermann.
  *
     Funding: Fully funded (typically four years) through a Senior Research
     Project of the Research Foundation - Flanders (FWO).
  *
     Benefits: Salary and benefits per FWO regulations, including dedicated
     travel funding for conferences and research visits.
  *
     Location: Ghent, Belgium.

Candidate Profile:

  *
     A Master's degree (or soon to be obtained) in mathematics or a related field.

  *
     A strong background or interest in proof theory, analytic
     combinatorics, ordinal analysis, or combinatorial probability.
  *
     Comfort with (or motivation to learn) asymptotic or combinatorial methods.
  *
     Strong abstract reasoning skills and a good command of English.
  *
     No prior knowledge of Dutch or French is required.

How to Apply: Interested candidates should submit a CV, motivation statement, outline of academic/research background, and degree transcripts. Shortlisted candidates will later be asked to provide two confidential letters of recommendation.

  *
     Application Deadline: March 31, 2026.
  *
     Contact: Applications and informal inquiries should be directed
     toAndreas.Weiermann@UGent.be.
  *
     Full Vacancy Details: https://cage.ugent.be/we16/PhD2026.pdf



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