Friday, March 26, 2010

[DMANET] 38-month postdoctoral research fellowship

====================================================
38-month postdoctoral research fellowship on
Synthesis and Verification in Markov Game Structures
====================================================

The University of Liverpool is looking to recruit a Postdoctoral Research
Assistant to work on the EPSRC-funded project "Synthesis and Verification
in Markov Game Structures", under the direction of Sven Schewe, Leslie
Ann Goldberg, and Tom Shenton.

Applicants should have (or shortly expect to receive) a PhD in Computer
Science or a closely related field. Preference will be given to
candidates with a research interest and technical background in Markov
processes, formal games, and/or the design of tools for such systems.

The post is for a fixed term appointments of 38 months. It will have a
salary on the university grade 7 scale with a starting salary on step 32
(currently 31,671 UK pounds per annum + superannuation + NI) and
projected end salary on step 35 (currently 34,607 UK pounds per annum +
SA/NI).

The intended starting date is 1. July 2010, though a later starting date
is negotiable. The expected closing date for applications is 11. May
2010.

Applicants are very welcome to send informal inquiries to any of the
investigators:

Sven Schewe
(sven.schewe@liverpool.ac.uk<mailto:sven.schewe@liverpool.ac.uk>) Leslie
Ann Goldberg
(L.A.Goldberg@liverpool.ac.uk<mailto:L.A.Goldberg@liverpool.ac.uk>)
Tom Shenton (shenton@liverpool.ac.uk<mailto:shenton@liverpool.ac.uk>)

Please note: this is a PRELIMINARY announcement; the formal application
procedure will be announced soon, and potential candidates MUST follow
this procedure to apply for the position. Contact the grant holders (see
above) for details.
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************