[isabelle] Lectureship in automated verification at Oxford



[Apologies for multiple mailing.]


UNIVERSITY OF OXFORD

Mathematical and Physical Sciences Division
Oxford University Computing Laboratory

in association with Magdalen College

http://web.comlab.ox.ac.uk/oucl/jobs/ul-magd.html

UNIVERSITY LECTURESHIP IN COMPUTER SCIENCE
Applications are invited for a University Lectureship in Computer
Science. The successful candidate will also be appointed to a
Supernumerary non-stipendiary and non-tutorial Fellowship at Magdalen
College. The University salary will be on a scale up to £51,095 per
annum. Details of the Department, the College and further details of the
University post are given in the Further Particulars.

The lecturer will be a member of the Computing Laboratory, and will
contribute to the activities of the Quantitative Analysis and
Verification group led by Professor Marta Kwiatkowska. The Department
welcomes applications from any area of Automated Verification, but
particularly encourages those whose research interests are concerned
with theoretical foundations, implementation and application of
automated verification techniques interpreted broadly, including model
checking, software verification, mechanised reasoning, model checking
for real-time and/or probabilistic systems, and quantitative analysis
methods. The appointee will also be expected to have the ability to
teach effectively over a wide range of topics in the Computer Science
syllabus at Oxford, not exclusively in the area of their research expertise.

The closing date for applications is Friday 30th March 2007.

For further information, including full details of the application
procedure and selection criteria are given in the further particulars
below, which are also available via email request to qv-lect at comlab.ox.ac.uk


Further particulars and Selection Criteria of the post in association
with Magdalen College
(http://web.comlab.ox.ac.uk/oucl/jobs/ul-magd_fps.pdf)
Oxford University is an Equal Opportunities Employer.






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