Logic List Mailing Archive

(Associate) Professorship in Automated Verification, Oxford (England), Deadline: 21 Jan 2022

Associate Professorship/Professorship in Automated Verification

*with a tutorial fellowship at Trinity College*

*UNIVERSITY of OXFORD*

http://www.cs.ox.ac.uk/news/1976-full.html


Applications are invited for the post of Associate Professor (or Professor)
of Automated Verification in the Department of Computer Science and Trinity
College, to start before October 2022. The successful candidate will also
be appointed as a Fellow and Tutor in Computer Science at Trinity College,
and will be responsible for the organisation and teaching of their subject
within the College.

You will be a member of both the University and the College community, part
of a lively and intellectually stimulating research community with access
to the excellent research facilities which Oxford offers. You 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 Department of Computer Science is a vibrant and growing academic
department, which has a research profile across the entire spectrum of
contemporary computer science.  You will be expected to engage in
independent and original research aligned with the Automated Verification
research theme, to secure funding and engage in the management of research
projects and disseminate research of the highest international standard
through publications, conferences and seminars.  You will also contribute
to teaching on the Department?s highly successful undergraduate and
graduate programmes.

You will hold a doctoral degree in Computer Science (or cognate
discipline), have the ability to teach across a range of Computer Science
subjects, and will also have a proven research record of high quality at
international level, and experience of research collaborations at both
national and international level.

*We are a Stonewall Top 100 Employer, Living Wage and Mindful Employer,
holding an Athena Swan Bronze Award, HR excellence in Research and Race
Equality Charter Bronze Award.*

Demonstrating a commitment to provide equality of opportunity, we would
particularly welcome applications from women and black and minority ethnic
applicants who are currently under-represented within the Computer Science
Department. *All applicants will be judged on merit, according to the
selection criteria.*

Our staff and students come from all over the world and we proudly promote
a friendly and inclusive culture. Diversity is positively encouraged,
through diversity groups and champions, for example
http://www.cs.ox.ac.uk/aboutus/women-cs-oxford/index.html, as well as a
number of family-friendly policies, such as the right to apply for flexible
working, support for staff returning from periods of extended absence, to
apply for funding from the carer?s fund. We are committed to ensuring an
inclusive interview process and will reimburse up to £250 towards any
additional care costs (for a dependent child or adult) incurred as a result
of attending an interview for this position, which may not be applicable if
the interviews are held remotely.

*The closing date for applications is 12 noon on 21 January 2022.*

*Interviews are expected to be held on 4 March 2022.*

Further particulars are available from:

http://www.cs.ox.ac.uk/news/1976-full.html

http://www.cs.ox.ac.uk/files/12971/153743%20-%20Job%20Description%20and%20Selection%20Criteria.pdf
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam