From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10494 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Benno van den Berg Newsgroups: gmane.science.mathematics.categories Subject: PhD position at the University of Amsterdam Date: Fri, 28 May 2021 11:41:30 +0200 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="blaine.gmane.org:116.202.254.214"; logging-data="4515"; mail-complaints-to="usenet@ciao.gmane.io" To: categories Original-X-From: majordomo@rr.mta.ca Sun May 30 23:06:08 2021 Return-path: Envelope-to: gsmc-categories@m.gmane-mx.org Original-Received: from smtp2.mta.ca ([198.164.44.75]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1lnSdM-0000um-Nr for gsmc-categories@m.gmane-mx.org; Sun, 30 May 2021 23:06:08 +0200 Original-Received: from rr.mta.ca ([198.164.44.159]:59706) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1lnSZj-0006J0-2Y; Sun, 30 May 2021 18:02:23 -0300 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1lnSbu-0000hQ-6b for categories-list@rr.mta.ca; Sun, 30 May 2021 18:04:38 -0300 Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10494 Archived-At: Dear colleague, The ILLC (part of the University of Amsterdam) is advertising an open PhD position (at the Faculty of Science); the deadline is 13 June 2021. The vacancy can be found here: https://www.uva.nl/shared-content/uva/en/vacancies/2021/05/21-315-phd -in-logic-language-and-computation.html?origin=RrhWo%2FMXSgW7Uzvhwnl%2B%2Fg Please pass this on to potential candidates. And candidates who are interested in category theory, type theory, proof theory or constructive maths, should feel free to contact me. Best wishes, Benno [For admin and other information see: http://www.mta.ca/~cat-dist/ ]