* PhD position in Homotopy Type Theory
@ 2017-02-16 12:59 Benno van den Berg
0 siblings, 0 replies; only message in thread
From: Benno van den Berg @ 2017-02-16 12:59 UTC (permalink / raw)
To: Homotopy Type Theory
[-- Attachment #1.1: Type: text/plain, Size: 598 bytes --]
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:
http://www.illc.uva.nl/NewsandEvents/News/Positions/newsitem/8682/PhD-position-in-Homotopy-Type-Theory
Of course, people can also contact me for questions or more information.
Best wishes,
Benno
[-- Attachment #1.2: Type: text/html, Size: 711 bytes --]
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2017-02-16 12:59 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2017-02-16 12:59 PhD position in Homotopy Type Theory Benno van den Berg
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).