From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10120 Path: news.gmane.io!.POSTED.ciao.gmane.io!not-for-mail From: Benno van den Berg Newsgroups: gmane.science.mathematics.categories Subject: PhD candidate Date: Mon, 27 Jan 2020 21:32:27 +0100 Message-ID: Reply-To: Benno van den Berg Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Injection-Info: ciao.gmane.io; posting-host="ciao.gmane.io:159.69.161.202"; logging-data="120566"; mail-complaints-to="usenet@ciao.gmane.io" To: categories Original-X-From: majordomo@rr.mta.ca Tue Jan 28 16:47:46 2020 Return-path: Envelope-to: gsmc-categories@m.gmane-mx.org Original-Received: from smtp2.mta.ca ([198.164.44.55]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1iwT5c-000VII-Ns for gsmc-categories@m.gmane-mx.org; Tue, 28 Jan 2020 16:47:44 +0100 Original-Received: from rr.mta.ca ([198.164.44.159]:42480) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1iwT3i-0006ZX-8x; Tue, 28 Jan 2020 11:45:46 -0400 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1iwT3O-00071g-KG for categories-list@rr.mta.ca; Tue, 28 Jan 2020 11:45:26 -0400 Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10120 Archived-At: Dear all, The ILLC (part of the University of Amsterdam) is looking for an excellent PhD candidate who is interested in conducting research in an area within the ILLC that fits naturally in the Faculty of Science. The add can be found here: http://www.illc.uva.nl/NewsandEvents/News/Positions/newsitem/11506/PhD-candidate-Logic-Language-and-Computation Candidates who are interested in category theory and (homotopy) type theory should feel free to contact me before applying. Deadline: 17 February 2020. Best wishes, Benno [For admin and other information see: http://www.mta.ca/~cat-dist/ ]