<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body>
[Please forward to anyone interested. Apologies for multiple
mailing.] <br>
<div class="moz-forward-container">
<div class="moz-forward-container">
<p><b>Senior Research Associate</b><b> on FUN2MODEL, fixed term
for 3 years, with the possibility of extension</b><b><br>
</b><b>Grade 8: Salary £41,526 – £49,553 p.a. (note: post may
be under-filled at grade 7: £32,817 - £40,322 p.a.)</b></p>
<p><b><a class="moz-txt-link-freetext"
href="http://www.cs.ox.ac.uk/news/1890-full.html"
moz-do-not-send="true">http://www.cs.ox.ac.uk/news/1890-full.html</a>
</b><br>
</p>
<p>We are looking for a motivated Senior Research Associate to
play a key role in the ERC funded FUN2MODEL project (<a
class="moz-txt-link-abbreviated"
href="http://www.fun2model.org" moz-do-not-send="true">www.fun2model.org</a>),
which aims to develop novel probabilistic verification and
synthesis techniques to enable robust AI.</p>
<p>You will be responsible for carrying out research with an
emphasis on automated verification and synthesis, applied to
machine learning. This may include neuro-symbolic approaches;
program synthesis; symbolic methods; probabilistic
verification; statistical relational AI; robustness and
certification. Suitably qualified candidates will have an
opportunity for software implementation, liaising with Dave
Parker to coordinate PRISM codebase extensions. The exact
scope of the research will depend on the skills and experience
of the successful candidate.<br>
</p>
<p>The closing date for applications is 12 noon on 12th March
2021. Interviews are expected to be held week commencing 29th
March 2021.</p>
<p>Enquiries to Professor Marta Kwiatkowska (<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>)
are welcome.<br>
</p>
<p>For further details and to apply please visit: <br>
</p>
<p><a class="moz-txt-link-freetext"
href="https://my.corehr.com/pls/uoxrecruit/erq_jobspec_details_form.jobspec?p_id=145222"
moz-do-not-send="true">https://my.corehr.com/pls/uoxrecruit/erq_jobspec_version_4.display_form</a>
<br>
</p>
<p>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
href="http://www.cs.ox.ac.uk/aboutus/women-cs-oxford/index.html"
style="box-sizing: border-box; background-color: rgb(243,
241, 236); color: rgb(45, 76, 114); text-decoration:
underline; font-weight: bold; outline:
-webkit-focus-ring-color auto 5px; outline-offset: -2px;
font-family: "PT Sans", "Helvetica
Neue", Helvetica, Arial, sans-serif; font-size: 16px;
font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; letter-spacing: normal; orphans:
2; text-align: start; text-indent: 0px; text-transform:
none; white-space: normal; widows: 2; word-spacing: 0px;
-webkit-text-stroke-width: 0px;" moz-do-not-send="true">http://www.cs.ox.ac.uk/aboutus/women-cs-oxford/index.html</a><span
style="color: rgb(53, 60, 71); font-family: "PT
Sans", "Helvetica Neue", Helvetica, Arial,
sans-serif; font-size: 16px; font-style: normal;
font-variant-ligatures: normal; font-variant-caps: normal;
font-weight: 400; letter-spacing: normal; orphans: 2;
text-align: start; text-indent: 0px; text-transform: none;
white-space: normal; widows: 2; word-spacing: 0px;
-webkit-text-stroke-width: 0px; background-color: rgb(243,
241, 236); text-decoration-style: initial;
text-decoration-color: initial; display: inline !important;
float: none;">,</span> as well as a number of
family-friendly policies, such as the right to apply for
flexible working and support for staff returning from periods
of extended absence, for example maternity leave.</p>
<p><br>
</p>
<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="http://www.cs.ox.ac.uk/people/marta.kwiatkowska/" 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>
</div>
</body>
</html>