From mboxrd@z Thu Jan 1 00:00:00 1970 Date: Thu, 16 Feb 2017 04:59:53 -0800 (PST) From: Benno van den Berg To: Homotopy Type Theory Message-Id: Subject: PhD position in Homotopy Type Theory MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_2751_783101751.1487249993684" ------=_Part_2751_783101751.1487249993684 Content-Type: multipart/alternative; boundary="----=_Part_2752_148575907.1487249993685" ------=_Part_2752_148575907.1487249993685 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit 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 ------=_Part_2752_148575907.1487249993685 Content-Type: text/html; charset=utf-8 Content-Transfer-Encoding: 7bit
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
------=_Part_2752_148575907.1487249993685-- ------=_Part_2751_783101751.1487249993684--