From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9271 Path: news.gmane.org!.POSTED!not-for-mail From: Corina Cirstea Newsgroups: gmane.science.mathematics.categories,gmane.comp.science.types.announce Subject: Fully funded PhD studentship in Automated Verification through Coalgebras at the University of Southampton Date: Wed, 19 Jul 2017 22:22:41 +0100 Message-ID: Reply-To: Corina Cirstea NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 (Mac OS X Mail 8.2 \(2104\)) Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Trace: blaine.gmane.org 1500585028 24093 195.159.176.226 (20 Jul 2017 21:10:28 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Thu, 20 Jul 2017 21:10:28 +0000 (UTC) To: concurrency@listserver.tue.nl, moca-announce@list.it.uu.se, categories@mta.ca, types-announce@lists.seas.upenn.edu Original-X-From: majordomo@mlist.mta.ca Thu Jul 20 23:10:18 2017 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp2.mta.ca ([198.164.44.40]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1dYIiA-0005jr-2z for gsmc-categories@m.gmane.org; Thu, 20 Jul 2017 23:10:18 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:54668) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1dYIiu-0001kC-FR; Thu, 20 Jul 2017 18:11:04 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1dYIhA-0001QC-Jh for categories-list@mlist.mta.ca; Thu, 20 Jul 2017 18:09:16 -0300 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:9271 gmane.comp.science.types.announce:7001 Archived-At: PhD Studentship: Automated Verification through Coalgebras ********************************************************************** University of Southampton - Faculty of Physical Sciences and Engineering Qualification type: PhD Location: Southampton, UK Funding for: UK students, EU students Funding amount: EU/UK fees and stipend in line with EPSRC rates Hours: Full Time Deadline for applications: 4th August 2017 =20 PhD Supervisor: 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 suited for modelling a large = variety of state-based, dynamical systems, with features such as = non-deterministic, stochastic, or weighted behaviour being uniformly = captured in the models. Coalgebras come with modal and temporal logics = that expressively support reasoning about the temporal behaviour of = dynamical systems, both qualitatively and quantitatively. Owing to the = diversity of semantic models that can be captured, coalgebra is the = ideal framework for modelling and reasoning about heterogeneous systems = whose components have different quantitative verification concerns. During your PhD, you will help build a synergy between the fields of = coalgebraic methods and automated verification, and will publish at = internationally leading conferences and journals. Your project will = contribute to the development of a new research area of coalgebraic = model checking, aimed on the one hand at unifying existing quantitative = model checking techniques, and on the other at extending the = applicability of such techniques to complex systems, whose modelling = requires a variety of underlying models. Application areas for such = techniques include, but are not limited to: cloud computing, with a need = for analyzing the efficiency of resource-management operations; = industrial control systems, with a need for energy-aware controller = synthesis; and cyber security, with a need for resource-aware reasoning = about system-attacker interactions. More details about the project can be found here: = http://www.jobs.ac.uk/job/BBD448/phd-studentship-automated-verification-th= rough-coalgebras/ Candidate profile: =E2=80=A2 good undergraduate degree in mathematics or computer = science (required), =E2=80=A2 interest in theoretical computer = science/logic/automated verification (required), =E2=80=A2 good programming skills (desirable). For further details about the project, please contact Dr Corina Cirstea = (cc2@ecs.soton.ac.uk). Application process: To apply, please email your CV, transcript of your = degree and a brief statement of research interests to = cc2@ecs.soton.ac.uk. ---------------------------------------------- Dr Corina Cirstea Electronics and Computer Science University of Southampton Southampton, SO17 1BJ United Kingdom Tel: +44 (0)23 8059 3625 ---------------------------------------------- [For admin and other information see: http://www.mta.ca/~cat-dist/ ]