[TYPES/announce] PhD position: Proof Theory and Algebra of Fixed Points. Birmingham, UK and Melbourne, Australia. Deadline: **16 July**

[anupamdotdas at gmail.com]

Dear colleagues,

 

I have a PhD opportunity available, co-supervised by Daniel Murfet, at the
University of Birmingham (UoB), UK, and the University of Melbourne (UoM),
Australia. Please encourage any interested students to apply and/or get in
touch with us directly for informal enquiries. The deadline is **16 July**,
so please get in touch soon!

 

A successful student would conduct research on proof theoretic and algebraic
aspects of fixed points, in particular taking advantage of recent advances
in cyclic proofs and coalgebra. That said, the project is intentionally
broad to accommodate the interests/expertise of the student. The PhD
advertisement (and application page) is available here:

 

https://www.findaphd.com/phds/project/proof-theory-and-algebra-for-fixed-poi
nts/?p133258

 

Funding for this position is open to students *worldwide* (not only UK or
Australia) for a duration of 3.5 years, beginning October 2021. A successful
student would take up the position initially at one of the institutions UoB
or UoM, at which they would spend the first 18 and final 12 months of the
PhD. The intermediate 12 months should be spent at the other institution,
for which extra funds are available.

 

Best,
Anupam

a.das at bham.ac.uk <mailto:a.das at bham.ac.uk> 

 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20210621/41840eb5/attachment-0001.htm>