From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10181 Path: news.gmane.io!.POSTED.ciao.gmane.io!not-for-mail From: Henning Basold Newsgroups: gmane.science.mathematics.categories Subject: Teaching PhD Position in Quantitative Systems and Reasoning Methods Date: Tue, 31 Mar 2020 14:09:16 +0200 Message-ID: Reply-To: Henning Basold Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="ciao.gmane.io:159.69.161.202"; logging-data="104459"; mail-complaints-to="usenet@ciao.gmane.io" To: "categories@mta.ca" Original-X-From: majordomo@rr.mta.ca Tue Mar 31 17:20:20 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 1jJIge-000R34-37 for gsmc-categories@m.gmane-mx.org; Tue, 31 Mar 2020 17:20:20 +0200 Original-Received: from rr.mta.ca ([198.164.44.159]:49382) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1jJIbS-0002N6-H9; Tue, 31 Mar 2020 12:14:58 -0300 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1jJIfV-0001kJ-Gh for categories-list@rr.mta.ca; Tue, 31 Mar 2020 12:19:09 -0300 Content-Language: en-GB Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10181 Archived-At: I have a fully funded PhD position at the Leiden University available with a rather free choice of approaching reasoning methods for quantitative systems. The approach can be purely in terms of category theory, type theory, formal logic, or a combination of those. Please note that the application deadline is 26 April 2020, but applications are accepted until the position is filled. More information about the research project and the details of the position can be found here: https://www.universiteitleiden.nl/en/vacancies/2020/q1/20-150-teaching-ph= d-position-in-quantitative-systems-and-reasoning-methods For further questions, please contact Henning Basold . Please forward this announcement to whomever you see fit. Thank you! Kind regards, Henning [For admin and other information see: http://www.mta.ca/~cat-dist/ ]