26 September: fyi -- phd funding, UK
Index of September 2002 | Index of year: 2002 | Full index
=========================================================================
The University of Birmingham
School of Computer Science
PROJECT STUDENTSHIP in
Automated Probabilistic Verification with PRISM
=========================================================================
We hope to recruit a PhD student to work for three years in association
with the PRISM research project. PRISM is a probabilistic symbolic model
checker being developed at the University of Birmingham. The PhD student
would be researching probabilistic mobile systems and their model
checking under the supervision of Prof. Marta Kwiatkowska. It is
expected that the PhD will commence in autumn 2002 or shortly thereafter.
More information about the PRISM model checker can be found at:
http://www.cs.bham.ac.uk/~dxp/prism/
Applicants must have or be about to gain at least an upper second class
honours degree or an overseas equivalent in Computer Science or
Mathematics. Familiarity with model checking, mobile calculi for
concurrent systems and/or probabilistic modelling would be an advantage.
The studentship is open to UK and European Union applicants, and
includes tuition fees and maintenance award above the level of standard
EPSRC maintenance awards.
The School of Computer Science has been rated 5 by the recent RAE and
is host to a number of projects in model checking. For more information
about the School and related research see the URLs:
http://www.cs.bham.ac.uk/research/
http://www.cs.bham.ac.uk/research/groups/D.html
http://www.cs.bham.ac.uk/~mzk/Research/projects.html
General information about PhD studies and application forms can be found
at URL:
http://www.cs.bham.ac.uk/study/postgraduate-research/
Interested applicants are asked, in the first instance, to send their CV
together with a brief statement of why they are interested in this
research project (preferably by 30th September) to:
Prof. Marta Kwiatkowska Email mzk@cs.bham.ac.uk
Tel +44 121 414 7264
FAX +44 121 414 4281
URL http://www.cs.bham.ac.uk/~mzk
=========================================================================
Index of September 2002 | Index of year: 2002 | Full index