Logic List Mailing Archive

CfA: Fully funded PhD position in Theoretical Computer Science (Category & Type Theory), University of Birmingham (UK), deadline asap before 24.12.

Dear all,

a fully funded PhD position at the University of Birmingham is available under my supervision, with scholarship for one **UK home student**.

The position is in theoretical computer science and will be hosted by the Theory of Computation group at the University of Birmingham. The intended research directions include category theory, type theory, and related areas.

Prospective candidates are encouraged to contact me directly, asap and before Christmas. Please include a CV and a brief description of your research interests and motivation.

- About me: https://sergey-goncharov.org/
- About Birmingham Theory Group: 
https://www.birmingham.ac.uk/research/centres-institutes/research-in-computer-science/theory-of-computation

Best regards,

-- 
Sergey Goncharov                       The University of Birmingham
https://sergey-goncharov.org           School of Computer Science
                                        Edgbaston, Birmingham B15 2TT, UK

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