[isabelle] CSE PhD studentship in Theorem Proving for Air Traffic Control



Apologies if you get multiple copies of this.
************************************************************************
Department of Computer Science, Queen Mary, University of London,
PhD Position in Theorem Proving for Air Traffic Control,
CASE studentship in collaboration with National Air Traffic Services
Ltd.
************************************************************************

One CASE PhD studentship is available in the Department of Computer
Science at Queen Mary, University of London to work on theorem proving
for air traffic control procedures. The case studentship is offered in
collaboration with National Air Traffic Services Ltd. (NATS) and will
require industrial collaboration.

The proposed start date is 1st of August, 2006.

One of the main issues for NATS research is to develop new or modified
air traffic control procedures which allows for increased efficiency
without compromising safety. Theorem proving can be used to ascertain
that the required level of safety is maintained under new
procedures. The student will work with NATS to develop models of the
air space and the aircraft behaviour using the theorem prover PVS,
thus enabling formal reasoning about the safety of new procedures.

Applicants are encouraged to contact Hanne Gottliebsen directly (email:
hago at dcs.qmul.ac.uk).

The studentship is available for UK applicants who want to work full
time on their research degree and lasts for up to three years.
Candidates should have, or be predicted to gain, a very good degree in
computer science, mathematics or a relevant scientific
discipline. Informal inquiries are welcome, preferably via
e-mail. General information about PhDs in Computer Science at
Department of Computer Science, Queen Mary, University of London is
available at http://www.dcs.qmul.ac.uk/postgraduate/phd/.
Applications can be made until 16th Dec 2005.

Dr Hanne Gottliebsen
Department of Computer Science
Queen Mary, University of London
Mile End Road
London E1 4NS
E-mail: hago at dcs.qmul.ac.uk
URL: http://www.dcs.qmul.ac.uk/~hago
Tel: +44 207 882 5259


--
---------------------------------------------------------
Dr. Hanne Gottliebsen    Department of Computer Science
hago at dcs.qmul.ac.uk      Queen Mary, University of London
Ph: +44 (0) 207 882 5259
  - I want a single-skin cotton tent like Mr Weasley's
---------------------------------------------------------





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