Associate Fellowship in Automated Verification 2017, University of Oxford, UK

Duties of the post

The Associate Professor will be a member of both the University and the College community. She or he will be part of a lively and intellectually stimulating research community which performs to the highest international levels in research and publications and will have access to the excellent research facilities which Oxford offers. She or he will have a role to play in the running of the College as a member of the Governing Body and a trustee of the College as a charity.

The main duties of the post are as follows:

Research

•   to engage in original research of an internationally leading level in the area of Automated Verification;
•   to secure research funding and engage in the management of research projects;
•   to disseminate his/her research through publication in scholarly journals, participation in international conferences and seminars, and through other media;
•   to engage in knowledge transfer activities

Teaching

•   to carry out teaching in related computer science subjects, including lectures, classes, demonstrations, and project supervision, under the direction of the Head of Department;
•   to supervise students

Examining

•  to take part in University examining as and when requested to do so. Administration
•  to participate in the administration of the department as and when requested by the Head of Department.

How to apply

To apply, click on the Apply Now button on the ‘Job Details’ page and follow the on-screen instructions to register as a new user or log-in if you have applied previously. Please provide details of three referees and indicate whether the University may contact them now.

You should upload a CV, supporting statement, and both a teaching statement and a research statement (the latter of 3 pages each, maximum). The supporting statement should explain how you meet the selection criteria for the post using examples of your skills and experience. This may include experience gained in employment, education, or during career breaks (such as time out to care for dependants).

The research statement should convey your research vision and your current and ongoing programme of work. The teaching statement should describe your approach to teaching, and your ideas for courses you would like to teach, including new courses you would like to develop.

Please upload all documents as PDF files with your name and the document type in the filename. Please do not attach additional material to your application, as it will not be considered.

All applications must be received by 12.00 noon on 3 March 2017.

Should you experience any difficulties using the online application system, please email recruitment.support@admin.ox.ac.uk. Further help and support is available. 

Please note that you will be notified of the progress of your application by automatic emails from our e-recruitment system. Please check your spam/junk mail regularly to ensure that you receive all emails.

All shortlisted candidates will be interviewed and will be asked to give a short presentation to the committee as part of the interview.

Applications for this post will be considered by a selection committee containing representatives from both the Department of Computer Science and St. John’s College. The selection committee is responsible for conducting all aspects of the recruitment and selection process; it does not, however, have the authority to make the final decision as to who should be appointed. The final decision will be made by the MPLS divisional board and the governing body of St. John’s College on the basis of a recommendation made by the selection committee. No offer of appointment will be valid, therefore, until and unless the recommendation has been approved by both the divisional board and the governing body, and a formal contractual offer has been made.

For more information click "Further official information" below.