Logic List Mailing Archive

PhD student position on coalgebraic logics for quantitative verification, Glasgow (Scotland), Deadline: 2 Feb 2021

******************************************************************

*** 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.



--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam