From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9123 Path: news.gmane.org!.POSTED!not-for-mail From: Benno van den Berg Newsgroups: gmane.science.mathematics.categories Subject: PhD position in Homotopy Type Theory Date: Thu, 16 Feb 2017 14:00:42 +0100 Message-ID: Reply-To: Benno van den Berg NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 X-Trace: blaine.gmane.org 1487339462 30644 195.159.176.226 (17 Feb 2017 13:51:02 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Fri, 17 Feb 2017 13:51:02 +0000 (UTC) To: categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Fri Feb 17 14:50:58 2017 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp2.mta.ca ([198.164.44.40]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ceiw3-0007X7-IW for gsmc-categories@m.gmane.org; Fri, 17 Feb 2017 14:50:55 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:45115) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1ceiud-0003IH-JD; Fri, 17 Feb 2017 09:49:27 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1ceiu5-0007SW-IW for categories-list@mlist.mta.ca; Fri, 17 Feb 2017 09:48:53 -0400 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:9123 Archived-At: 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 [For admin and other information see: http://www.mta.ca/~cat-dist/ ]