Email Gateway (Aug 18 2022 at 11:31): Email Gateway (Aug 18 2022 at 11:31):From: Michael Fisher <MFisher@liverpool.ac.uk>
** 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:
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
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
Last updated: Nov 21 2024 at 12:39 UTC