News and Events: Open Positions

Please note that this newsitem has been archived, and may contain outdated information or links.

Research position (3 years) on Coalgebraic Foundations of Quantitative Verification (COVER), Glasgow (UK)

Deadline: Sunday 8 November 2020

We are recruiting a Research Associate at the University of Strathclyde, Glasgow. The broad objective is to develop a new framework for quantitative verification involving, e.g., costs or rewards, that is grounded in a coalgebraic modelling of systems.
The focus of the project will be on (i) developing verification algorithms for quantitative coalgebraic logics, (ii) generalising existing abstraction and refinement algorithms to a coalgebraic and, ultimately, quantitative setting and (iii) implement the obtained algorithms as extensions to widely used probabilistic model-checking tools such as PRISM. Therefore, the ideal candidate will possess both a strong theoretical background and a good level of programming experience. This is a 3-year fixed-term position.

COVER is a joint project between the University of Southampton and the University of Strathclyde. The part of project at Strathclyde is led by Dr Clemens Kupke from the Mathematically Structured Programming (MSP) Group, the part in Southampton by Dr Corina Cîrstea from the Agents, Interaction and Complexity Research Group. A similar researcher vacancy exists in Southampton.

For more information, see http://shorturl.at/exHS3 or contact Dr Clemens Kupke at .

Please note that this newsitem has been archived, and may contain outdated information or links.