From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10585 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Helle Hvid Hansen Newsgroups: gmane.science.mathematics.categories Subject: Three PhD positions in Logic, Proof Theory and Coalgebra (Groningen) *29 Nov 2021 deadline* Date: Tue, 12 Oct 2021 17:23:06 +0200 Message-ID: Reply-To: Helle Hvid Hansen Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8"; format=flowed Content-Transfer-Encoding: 8bit Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="12006"; mail-complaints-to="usenet@ciao.gmane.io" To: categories@mta.ca Original-X-From: majordomo@rr.mta.ca Thu Oct 14 03:10:41 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 1mapGb-0002tj-2K for gsmc-categories@m.gmane-mx.org; Thu, 14 Oct 2021 03:10:41 +0200 Original-Received: from rr.mta.ca ([198.164.44.159]:60380) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1mapFf-0001L3-QW; Wed, 13 Oct 2021 22:09:43 -0300 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1mapEz-0006Gf-8y for categories-list@rr.mta.ca; Wed, 13 Oct 2021 22:09:01 -0300 Content-Language: en-US Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10585 Archived-At: ******************************************************* * Three PhD positions in Logic, Proof Theory and Coalgebra * University of Groningen, Netherlands * Application deadline: 29 Nov 2021 / until filled ******************************************************* We invite excellent PhD candidates to join us at the Fundamental Computing group, Bernoulli Institute for Maths, CS and AI, University of Groningen. Founded in 1614, the University of Groningen is proud to number among the world???s top universities with a ???Top 100??? ranking in the most recent ARWU Shanghai Ranking and the THE World University Rankings, among others. With the youngest population in the Netherlands (more than 20% international), Groningen is a lively, cosmopolitan city, as well as a very safe and eco-friendly city to live in, rated highly for quality of life, education, social care and healthcare. Three fully-funded 4-year PhD positions are available: * PhD Position in Non-Classical Logics through Proof Theory Supervisor: Revantha Ramanayake https://www.rug.nl/about-ug/work-with-us/job-opportunities/?details=00347-02S0008PRP&cat=phd * PhD Position in Logic, Coalgebra and Semantics of Computing Supervisor: Helle Hvid Hansen https://www.rug.nl/about-ug/work-with-us/job-opportunities/?details=00347-02S0008PPP&cat=phd * PhD Position in Proof Theory of Modal Logics Supervisors: Helle Hvid Hansen and Revantha Ramanayake https://www.rug.nl/about-ug/work-with-us/job-opportunities/?details=00347-02S0008PQP&cat=phd Applications received *no later than 29 November 2021 (CET)* will receive full consideration but applications will be accepted until the positions are filled. Prospective candidates are encouraged to contact the respective supervisor to express their interest well in advance of the deadline. Best wishes, Helle and Revantha -- Helle Hvid Hansen Associate Professor Fundamental Computing group Bernoulli Institute for Maths, CS and AI University of Groningen [For admin and other information see: http://www.mta.ca/~cat-dist/ ]