coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Research vacancy in formal verification of asynchronous hardware

chronological Thread

From: "Marta Kwiatkowska" <M.Z.Kwiatkowska AT cs.bham.ac.uk>
To: <cphc-jobs AT mailbase.ac.uk>, <lics AT research.att.com>, <theorynt AT listserv.nodak.edu>, <Colibri AT let.uu.nl>, <lics AT research.bell-labs.com>, <logic-list AT cs.rice.edu>, <cav-all AT csa.cs.technion.ac.il>, <tfm-list AT doc.ic.ac.uk>, <imps AT linus.mitre.org>, <coq-club AT pauillac.inria.fr>, <fsdm AT it.uq.edu.au>, <larc-swe AT larc.nasa.gov>, <lfcs-interest AT dcs.ed.ac.uk>, <lotos-world AT sanson.dit.upm.es>, <podc AT acm.org>, <zforum AT prg.ox.ac.uk>
Cc: "Marta Kwiatkowska" <M.Z.Kwiatkowska AT cs.bham.ac.uk>
Subject: [Coq-Club] Research vacancy in formal verification of asynchronous hardware
Date: Sat, 5 Apr 2003 14:50:41 +0100
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

Apologies for duplicate mailing.

THE UNIVERSITY OF BIRMINGHAM

SCHOOL OF COMPUTER SCIENCE

Postdoctoral Research Fellow
Project PhD Studentship

Applications are invited for a Postdoctoral Research Fellow to work on an
EPSRC funded project project An Integrated Framework for Formal Verification
and Distributed Simulation of Asynchronous Hardware. The post is funded by
the UK Engineering and Physical Sciences Research Council (EPSRC) for 3
years and is available from 1 April 2003 or shortly thereafter. Applicants
should have a PhD in Computer Science or Mathematics and ideally have
knowledge of one or more of the following areas: asynchronous hardware,
model checking, process algebra, temporal/modal logic, theory of
concurrency. The successful applicant will be expected to contribute to
teaching in the School up to a maximum of two hours per week on average.

The project will be undertaken jointly with the renowned AMULET Group of the
Department of Computer Science at the University of Manchester, and will be
co-ordinated by Dr Georgios Theodoropoulos and Prof. Marta Kwiatkowska
(Birmingham) and Dr Doug Edwards (Manchester). The project also funds a
PhD studentship (Birmingham) and Research Fellow (Manchester), both for
three years.

More information about the project, the research group and the School can
be obtained from the URLs:

http://http://www.cs.bham.ac.uk/~gkt/Research/par-lard/
http://www.cs.bham.ac.uk/research/groups/D.html
http://www.cs.bham.ac.uk/research/

The starting salary will be up to �20,311, depending on qualifications and
experience.

Application forms (returnable by 17 April 2003 to the address below) and
further particulars available from:

http://www.bham.ac.uk/personnel/app.htm
http://http://www.cs.bham.ac.uk/news/jobs/

The Director of Staffing Services
The University of Birmingham
Edgbaston, Birmingham, B15 2TT
tel: +44 121 414 6486 (24 hours)

Please quote reference S36560/03. Informal enquiries to:

Prof. Marta Kwiatkowska
tel: +44 121 414 7264
email: mzk AT cs.bham.ac.uk

Dr Georgios Theodoropoulos
tel: +44 121 414 4780
email: gkt AT cs.bham.ac.uk

Working towards equal opportunities.

[Coq-Club] Research vacancy in formal verification of asynchronous hardware, Marta Kwiatkowska