PhD Studentship in Automated Verification and Synthesis through Coalgebras University of Southampton School of Electronics Computer Science United Kingdom

Location: Highfield Campus
Closing Date: Saturday 31 August 2019
Reference: 1129019FP
Supervisor: Dr Corina Cirstea

 

Project description

As part of this project, you will work on developing new foundations for quantitative verification, grounded in the theory of coalgebras.

Coalgebras are mathematical structures ideally suited for modelling state-based, dynamical systems. They come equipped with modal logics that support reasoning about the temporal behaviour of systems, both qualitatively and quantitatively.

During your PhD, you will help build a synergy between the fields of coalgebra and automated verification. Your project will contribute to the development of a new research area of coalgebraic model checking, aimed at extending the applicability of automated verification and synthesis to complex systems, whose modelling requires richer, more flexible models than currently supported. Models incorporating resource information are a prime example, and application areas include energy-aware systems, with a need to minimise energy usage while achieving desired behaviour; and autonomous systems, with a need for on-the-fly synthesis of resource-optimal plans.

Please contact Dr Corina Cirstea (cc2@ecs.soton.ac.uk) for further details.

Key facts

Entry requirements: first or upper second-class degree or equivalent in Computer Science or Mathematics

Closing date: applications should be received no later than 30 June 2019 for standard admissions, but later applications may be considered depending on the funds remaining in place. Early applications (before 1 May 2019) are encouraged as the position may be filled before the actual deadline.

Duration: four years (full-time)

Funding: full tuition fees, for UK/EU students, and a tax-free stipend of £15,009 per year

Assessment: Nine month and 18 month reports, viva voce and thesis examination

Start date: September 2019

Applying: www.southampton.ac.uk/postgraduate/pgstudy/howdoiapplypg.html


If you apply for this position please say you saw it on Computeroxy

Apply

All Jobs

FACEBOOK
TWITTER
LINKEDIN
GOOGLE
https://computeroxy.com/phd-studentship-in-automated-verification-and-synthesis-through-coalgebras,i7950.html">

Harvard University Academic Positions

Kuwait University Current Faculty Openings

Osaka University Academic Opportunities

Purdue University Job Postings for Faculty Positions

Texas Tech University Faculty Openings

Tsinghua University Job Postings

University of Cambridge Job Openings

University of Geneva Faculty Opportunities

University of New South Wales Job Openings

University of Nottingham Research Positions

University of Oslo Academic Jobs

University of Saskatchewan Faculty Positions

University of Southampton Research Vacancies

University of Tokyo Current Academic Vacancies

University of Toronto Open Faculty Positions