[TYPES/announce] 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://urldefense.com/v3/__https://www.uu.nl/en/organisation/working-at-utrecht-university/jobs/phd-position-in-categorical-foundations-of-type-theory__;!!IBzWLUs!XOSng9teRR-4og_8HBYwJW0cEzINfuXRp2QOTYsM1VpNLB1bfk6YwxCjOEg_3v6mAlHxkYh_Oyg1qMfprJw0fApYoythVNNzbQ$ 

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

Best,
Paige Randall North
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20260306/f3637870/attachment-0001.htm>