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



 ** 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 |
--------------------------------------------------------------





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.