[TYPES/announce] PhD in categorical foundations of type theory at Utrecht

[Paige Randall North]

[ The Types Forum (announcements only),
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]


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.no...@uu.nl.

Best,
Paige Randall North