[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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:[email protected]
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:[email protected], Tel: +44 (0)1865 610754
