<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body>
<br>
<div class="moz-forward-container">
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
<div class="moz-text-html" lang="x-unicode">
<div class="WordSection1">
<h1> <span>Associate Professorship/Professorship in Automated
Verification<br>
</span></h1>
<p> <b><span>with a tutorial fellowship at Trinity College</span></b></p>
<p> <b><span>UNIVERSITY of OXFORD</span></b></p>
<p class="MsoNormal"><span><a class="moz-txt-link-freetext" href="https://urldefense.com/v3/__http://www.cs.ox.ac.uk/news/1976-full.html__;!!IBzWLUs!BuQm4Z1VBz3RyxyVsFbPyGsywGAo20sz3eM0JiQCNLtUx7-XWE1JO-b7IjzQ5zArxpGETWBW5ZDNrQ$" moz-do-not-send="true">http://www.cs.ox.ac.uk/news/1976-full.html</a></span></p>
<p> <span><br>
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.<br>
<br>
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.<br>
<br>
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.<br>
<br>
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. <br>
<br>
<b>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.</b><br>
<br>
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. <b>All applicants will be judged on
merit, according to the selection criteria.</b><br>
<br>
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 <a class="moz-txt-link-freetext" href="https://urldefense.com/v3/__http://www.cs.ox.ac.uk/aboutus/women-cs-oxford/index.html__;!!IBzWLUs!BuQm4Z1VBz3RyxyVsFbPyGsywGAo20sz3eM0JiQCNLtUx7-XWE1JO-b7IjzQ5zArxpGETWBzKO9YuQ$" moz-do-not-send="true">http://www.cs.ox.ac.uk/aboutus/women-cs-oxford/index.html</a>,
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.<br>
<br>
<b>The closing date for applications is 12 noon on 21
January 2022.</b><b><br>
</b><br>
<b>Interviews are expected to be held on 4 March 2022.</b><br>
</span></p>
<p><span>Further particulars are available from:</span></p>
<p><span><a class="moz-txt-link-freetext" href="https://urldefense.com/v3/__http://www.cs.ox.ac.uk/news/1976-full.html__;!!IBzWLUs!BuQm4Z1VBz3RyxyVsFbPyGsywGAo20sz3eM0JiQCNLtUx7-XWE1JO-b7IjzQ5zArxpGETWBW5ZDNrQ$" moz-do-not-send="true">http://www.cs.ox.ac.uk/news/1976-full.html</a><br>
</span></p>
<p><span><a class="moz-txt-link-freetext" href="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$" moz-do-not-send="true">http://www.cs.ox.ac.uk/files/12971/153743%20-%20Job%20Description%20and%20Selection%20Criteria.pdf</a></span></p>
<p><span><br>
</span></p>
</div>
</div>
<pre class="moz-signature" cols="72">--
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: <a class="moz-txt-link-abbreviated" href="mailto:Marta.Kwiatkowska@cs.ox.ac.uk" moz-do-not-send="true">Marta.Kwiatkowska@cs.ox.ac.uk</a>
URL: <a class="moz-txt-link-freetext" href="https://urldefense.com/v3/__http://www.cs.ox.ac.uk/people/marta.kwiatkowska/__;!!IBzWLUs!BuQm4Z1VBz3RyxyVsFbPyGsywGAo20sz3eM0JiQCNLtUx7-XWE1JO-b7IjzQ5zArxpGETWCNa6mi7Q$" moz-do-not-send="true">http://www.cs.ox.ac.uk/people/marta.kwiatkowska/</a>
PA and Project Officer: Anita Hancox
Email: <a class="moz-txt-link-abbreviated" href="mailto:anita.hancox@cs.ox.ac.uk" moz-do-not-send="true">anita.hancox@cs.ox.ac.uk</a>, Tel: +44 (0)1865 610754</pre>
</div>
</body>
</html>