Logic List Mailing Archive

PhD student position in proof-theoretic and algebraic aspects of fixed points, Birmingham (England) & Melbourne (Australia), Deadline: 16 Jul 2021

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@bham.ac.uk
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam