From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10368 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Clemens Kupke Newsgroups: gmane.science.mathematics.categories Subject: PhD position in Coalgebraic Logics & Verification, Univ. Strathclyde, Glasgow Date: Tue, 19 Jan 2021 13:29:39 +0000 Message-ID: Reply-To: Clemens Kupke Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="28202"; mail-complaints-to="usenet@ciao.gmane.io" To: , , Original-X-From: majordomo@rr.mta.ca Fri Jan 22 02:25:36 2021 Return-path: Envelope-to: gsmc-categories@m.gmane-mx.org Original-Received: from smtp2.mta.ca ([198.164.44.74]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1l2lCh-0007DR-Cv for gsmc-categories@m.gmane-mx.org; Fri, 22 Jan 2021 02:25:35 +0100 Original-Received: from rr.mta.ca ([198.164.44.159]:51480) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1l2l0s-0005CN-NO; Thu, 21 Jan 2021 21:13:22 -0400 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1l2l7Y-0007d3-C1 for categories-list@rr.mta.ca; Thu, 21 Jan 2021 21:20:16 -0400 Content-Language: en-US Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10368 Archived-At: ****************************************************************** *** PhD Position *** Coalgebraic Logics for Quantitative Verification?? *** Mathematically Structured Programming Group *** University of Strathclyde (Glasgow) ***************************************************************** Applications are invited for a fully funded (please see caveat below) PhD studentship in the area of coalgebraic logics & model-checking under the supervision of Dr Clemens Kupke. The goals of the project are to work on a new mathematical framework for quantitative logics and, based on this, to create model-checking tools for verification. The research will be part of the Leverhulme project "COVER: Coalgebraic Foundations of Quantitative Verification" in collaboration with the University of Southampton and funds 2 postdoctoral researchers. This means that the new student will be embedded in an active research team with closely aligned goals. The successful applicant will have either at least a 2:1 degree or an MSc in Mathematics or Computer Science or a related subject with a strong Mathematics or Computer Science component. Ideally, they will also have a strong, documented interest in doing research. Strong mathematical background and problem-solving skills are essential. The Mathematically Structured Programming Group's vision is to develop mathematical foundations for program correctness and the next generation of programming languages. In order to achieve these research goals we mainly use ideas from category theory, logic, type theory and functional programming. Besides Dr Clemens Kupke, the group consists of a number of internationally leading researchers including Prof Neil Ghani, Prof Radu Mardare, Prof Glynn Winskel, Dr Robert Atkey, Dr Jules Hedges, Dr Conor McBride, Dr Fredrik Nordvall-Forsberg and Dr Jeremy Ledent as well as a number of PhD students. Anyone interested should in the first instance contact Dr Clemens Kupke whose email address is "clemens.kupke at strath.ac.uk" and outline their academic background. Applications will be considered on a first come basis from 2 February. =============================================== *) Caveat: For UK citizens these positions are fully-funded. For students from other European countries the situation is currently not 100% clear and will have to be clarified on a case-by-case basis.?? Oversees fees for students from further afield are generally not covered but there is limited funding available for particularly strong candidates. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]