PhD position in Homotopy Type Theory

2 views
Skip to first unread message

Benno van den Berg

unread,
Feb 16, 2017, 7:59:53 AM2/16/17
to Homotopy Type Theory
Dear all,

At the Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam we are looking for an excellent PhD candidate to work on homotopy type theory. The application deadline is 15 March.

The student would be working under my supervision and the starting date is somewhat negotiable, but it should be around September 1, 2017. More information is available here:
Of course, people can also contact me for questions or more information.

Best wishes,

Benno
Reply all
Reply to author
Forward
0 new messages