PhD in categorical foundations of type theory at Utrecht

[Paige Randall North]

Dear all,

I am currently advertising a PhD position on the subject of categorical foundations of type theory at Utrecht University.

The deadline is 6 April and the start date is flexible.

Please see the advertisement here

https://www.uu.nl/en/organisation/working-at-utrecht-university/jobs/phd-position-in-categorical-foundations-of-type-theory

and don’t hesitate to get in touch with me beforehand at p.r....@uu.nl.

Best,
Paige Randall North