[TYPES/announce] Associate Professorship (or Professorship) in Automated Verification at Oxford

[Marta Kwiatkowska]

  Associate Professorship/Professorship in Automated Verification

*with a tutorial fellowship at Trinity College*

*UNIVERSITY of OXFORD*

https://urldefense.com/v3/__http://www.cs.ox.ac.uk/news/1976-full.html__;!!IBzWLUs!BuQm4Z1VBz3RyxyVsFbPyGsywGAo20sz3eM0JiQCNLtUx7-XWE1JO-b7IjzQ5zArxpGETWBW5ZDNrQ$ 


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 
https://urldefense.com/v3/__http://www.cs.ox.ac.uk/aboutus/women-cs-oxford/index.html__;!!IBzWLUs!BuQm4Z1VBz3RyxyVsFbPyGsywGAo20sz3eM0JiQCNLtUx7-XWE1JO-b7IjzQ5zArxpGETWBzKO9YuQ$ , 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:

https://urldefense.com/v3/__http://www.cs.ox.ac.uk/news/1976-full.html__;!!IBzWLUs!BuQm4Z1VBz3RyxyVsFbPyGsywGAo20sz3eM0JiQCNLtUx7-XWE1JO-b7IjzQ5zArxpGETWBW5ZDNrQ$ 

https://urldefense.com/v3/__http://www.cs.ox.ac.uk/files/12971/153743*20-*20Job*20Description*20and*20Selection*20Criteria.pdf__;JSUlJSUl!!IBzWLUs!BuQm4Z1VBz3RyxyVsFbPyGsywGAo20sz3eM0JiQCNLtUx7-XWE1JO-b7IjzQ5zArxpGETWD_pF6o4A$ 


-- 
Professor Marta Kwiatkowska FRS
Associate Head of MPLS Division
Fellow of Trinity College
Department of Computer Science
University of Oxford
Wolfson Building, Parks Road
Oxford, OX1 3QD

Tel: +44 (0)1865 283509
Email:Marta.Kwiatkowska at cs.ox.ac.uk
URL:https://urldefense.com/v3/__http://www.cs.ox.ac.uk/people/marta.kwiatkowska/__;!!IBzWLUs!BuQm4Z1VBz3RyxyVsFbPyGsywGAo20sz3eM0JiQCNLtUx7-XWE1JO-b7IjzQ5zArxpGETWCNa6mi7Q$ 

PA and Project Officer: Anita Hancox
Email:anita.hancox at cs.ox.ac.uk, Tel: +44 (0)1865 610754

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20211104/e5bdfc5b/attachment.htm>