Postdoc research positions [verification, hybrid systems, space, agents, declarative programming...]

[Michael Fisher]

  ** Apologies if you receive multiple copies;
  ** please forward to relevant colleagues


-----------------------------------------------------------------------

              Two Postdoctoral Research Positions

                Department of Computer Science

                 University of Liverpool, UK

        [ Closing date (for both posts): 14th April 2008 ]


Two postdoctoral research posts are available within the Logic and
Computation research group (http://www.csc.liv.ac.uk/research/logics),
primarily under the supervision of Prof. Michael Fisher:


1. Post on the EPSRC-funded project "Verifying Interoperability
    Requirements in Pervasive Systems", a collaboration between the
    universities of Birmingham, Glasgow and Liverpool that brings
    together qualitative and quantitative verification techniques in
    order to tackle the problem of verifying pervasive systems.
    [ http://www.csc.liv.ac.uk/~michael/vps08.html ]

    This post is available for 36 months from Summer 2008 and
    applicants should have research expertise in formal methods or
    formal verification, preferably with applications to pervasive,
    distributed, or agent-based systems.

    For further details, see:
     http://www.liv.ac.uk/working/job_vacancies/research/R-567411.htm


2. Post on the EPSRC-funded project "Engineering Autonomous Space
    Software", collaboration with the University of Southampton which
    aims to develop a new declarative programming methodology that will
    allow the control software for multiple, interacting, autonomous
    satellites to be produced in a clear, high-level way.
    [ http://www.csc.liv.ac.uk/~michael/eass08.html ]

    This post is available for 42 months from Autumn 2008 and
    applicants should have research expertise in the development or
    use of declarative programming languages, hybrid systems, or
    agent programming languages.

    For further details, see:
     http://www.liv.ac.uk/working/job_vacancies/research/R-567413.htm

-- 


--------------------------------------------------------------
| Michael Fisher           http://www.csc.liv.ac.uk/~michael |
| Dept. Computer Science             MFisher at liverpool.ac.uk |
| University of Liverpool            tel: (+44) 151 795 4262 |
| Liverpool L69 3BX, U.K.            fax: (+44) 151 795 4235 |
--------------------------------------------------------------