<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40"><head><meta http-equiv=Content-Type content="text/html; charset=us-ascii"><meta name=Generator content="Microsoft Word 15 (filtered medium)"><style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
font-size:11.0pt;
font-family:"Calibri",sans-serif;
mso-fareast-language:EN-US;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:#0563C1;
text-decoration:underline;}
span.EmailStyle17
{mso-style-type:personal-compose;
font-family:"Calibri",sans-serif;
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;
font-family:"Calibri",sans-serif;
mso-fareast-language:EN-US;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:72.0pt 72.0pt 72.0pt 72.0pt;}
div.WordSection1
{page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]--></head><body lang=EN-GB link="#0563C1" vlink="#954F72" style='word-wrap:break-word'><div class=WordSection1><p class=MsoNormal>Dear colleagues,<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>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!<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>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:<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal><a href="https://www.findaphd.com/phds/project/proof-theory-and-algebra-for-fixed-points/?p133258">https://www.findaphd.com/phds/project/proof-theory-and-algebra-for-fixed-points/?p133258</a><o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>Funding for this position is open to students *<b>worldwide</b>* (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.<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>Best,<br>Anupam<o:p></o:p></p><p class=MsoNormal><a href="mailto:a.das@bham.ac.uk">a.das@bham.ac.uk</a><o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p></div></body></html>