<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body>
<span class="">[Apologies for multiple mailing. Informal enquiries
to <a class="moz-txt-link-abbreviated moz-txt-link-freetext"
href="mailto:marta.kwiatkowska@cs.ox.ac.uk"
moz-do-not-send="true">marta.kwiatkowska@cs.ox.ac.uk</a>]</span><b
class=""><br>
</b>
<div class="moz-forward-container">
<p><b class="">Research Associate on FUN2MODEL: From
FUNction-based TO MOdel-based automated probabilistic
reasoning for DEep Learning</b> </p>
<p style="font-family: Menlo-Regular;" class=""><b class="">Full
Time and Fixed Term contract until 30th September 2025</b></p>
<p style="font-family: Menlo-Regular;" class=""><b class="">Grade
7: Salary £36,024 - £44,263 p.a. with the potential to
under-fill at Grade 6 with salaries in the range of £32,332 -
£38,205 p.a.<br>
</b></p>
<p style="font-family: Menlo-Regular;" class=""><b class="">Department
of Computer Science, University of Oxford</b></p>
<p style="font-family: Menlo-Regular;" class=""><b class="">Closing
date: </b><strong style="box-sizing: border-box; font-weight:
bold;">12 noon on 29<sup style="box-sizing: border-box;
font-size: 12px; line-height: 0; position: relative;
vertical-align: baseline; top: -0.5em;">th</sup><span> </span>August
2023</strong></p>
<p style="font-family: Menlo-Regular;" class=""><a class="moz-txt-link-freetext" href="https://urldefense.com/v3/__https://eur02.safelinks.protection.outlook.com/?url=http*3A*2F*2Fwww.cs.ox.ac.uk*2Fnews*2F2005-full.html&data=04*7C01*7C*7C45a280c6701f4de0909108d9d42d4f3d*7Ccc7df24760ce4a0f9d75704cf60efc64*7C1*7C1*7C637774113326371584*7CUnknown*7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0*3D*7C3000&sdata=8tRQ1YK*2FKow1SJ4oD32HlkD3XnQSTh*2FKPDlzbOiy9Y0*3D&reserved=0__;JSUlJSUlJSUlJSUlJSUlJSUlJQ!!IBzWLUs!VkqrbeE2FeXli0UiBcc8m2Xqndhzpb6eDynLj_DhPPiT5ntWqnDLX86GtVxhfZ5GMCC2tQvvtQAZpC3uanWYjktpA90gFzTO_wF5Fsb_9nuorw$" moz-do-not-send="true">https://www.cs.ox.ac.uk/news/2177-full.html</a></p>
<p style="box-sizing: border-box; margin: 0px 0px 16px; 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; widows: 2; word-spacing:
0px; -webkit-text-stroke-width: 0px; white-space: normal;
background-color: rgb(243, 241, 236); text-decoration-thickness:
initial; text-decoration-style: initial; text-decoration-color:
initial;">We are looking for a motivated Research Associate to
play a key role in the ERC funded FUN2MODEL project. You will be
a member of the collaborative project team working at the
cutting edge of Computer Science. Reporting directly to
Professor Marta Kwiatkowska, you will be contributing to the
development of theories, models and algorithms for
quantitative/probabilistic verification and synthesis to enable
robust AI. Based within an internationally leading research
group, you will benefit from working in Oxford University’s
acclaimed Computer Science Department, located in the heart of
Oxford’s Scientific Keble Triangle.</p>
<p style="box-sizing: border-box; margin: 0px 0px 16px; 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; widows: 2; word-spacing:
0px; -webkit-text-stroke-width: 0px; white-space: normal;
background-color: rgb(243, 241, 236); text-decoration-thickness:
initial; text-decoration-style: initial; text-decoration-color:
initial;">You will carry out research on probabilistic
verification and synthesis to enable robust AI. This may involve
neuro-symbolic approaches; probabilistic verification/synthesis;
planning and game-theoretic methods; robustness and
certification. Suitably qualified candidates will have an
opportunity to implement software, liaising with Dave Parker to
coordinate PRISM codebase extensions.</p>
<p style="box-sizing: border-box; margin: 0px 0px 16px; 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; widows: 2; word-spacing:
0px; -webkit-text-stroke-width: 0px; white-space: normal;
background-color: rgb(243, 241, 236); text-decoration-thickness:
initial; text-decoration-style: initial; text-decoration-color:
initial;">You will be expected to write research articles for
leading conferences and journals, complete clear task
objectives, organise your workload, and proactively contribute
towards the research group’s objectives.</p>
<p style="box-sizing: border-box; margin: 0px 0px 16px; 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; widows: 2; word-spacing:
0px; -webkit-text-stroke-width: 0px; white-space: normal;
background-color: rgb(243, 241, 236); text-decoration-thickness:
initial; text-decoration-style: initial; text-decoration-color:
initial;">You should hold a PhD (or be close to completion) in
computer science, mathematics or related discipline, possess
sufficient specialist knowledge across some/all areas of:
symbolic/neuro-symbolic methods; probabilistic/statistical
verification and synthesis; planning and game theory, as well as
have proven experience of software development in relevant
areas, such as SAT/SMT, statistical inference, constraint
solving and optimisation. Familiarity with neural networks and
Bayesian methods is desirable.</p>
<p style="box-sizing: border-box; margin: 0px 0px 16px; 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; widows: 2; word-spacing:
0px; -webkit-text-stroke-width: 0px; white-space: normal;
background-color: rgb(243, 241, 236); text-decoration-thickness:
initial; text-decoration-style: initial; text-decoration-color:
initial;"><strong style="box-sizing: border-box; font-weight:
bold;">The closing date for applications is 12 noon on 29<sup
style="box-sizing: border-box; font-size: 12px; line-height:
0; position: relative; vertical-align: baseline; top:
-0.5em;">th</sup><span> </span>August 2023.<span> </span></strong>Interviews
are expected to be held in September.</p>
<p>For further details and to apply please visit:</p>
<p style="box-sizing: border-box; margin: 0px 0px 16px; 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; widows: 2; word-spacing:
0px; -webkit-text-stroke-width: 0px; white-space: normal;
background-color: rgb(243, 241, 236); text-decoration-thickness:
initial; text-decoration-style: initial; text-decoration-color:
initial;"><a class="moz-txt-link-freetext" href="https://urldefense.com/v3/__https://www.cs.ox.ac.uk/news/2177-full.html__;!!IBzWLUs!VkqrbeE2FeXli0UiBcc8m2Xqndhzpb6eDynLj_DhPPiT5ntWqnDLX86GtVxhfZ5GMCC2tQvvtQAZpC3uanWYjktpA90gFzTO_wF5Fsa3IlNJVw$" moz-do-not-send="true">https://www.cs.ox.ac.uk/news/2177-full.html</a></p>
<p style="box-sizing: border-box; margin: 0px 0px 16px; 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; widows: 2; word-spacing:
0px; -webkit-text-stroke-width: 0px; white-space: normal;
background-color: rgb(243, 241, 236); text-decoration-thickness:
initial; text-decoration-style: initial; text-decoration-color:
initial;"><br>
</p>
<p style="font-family: Menlo-Regular;" class=""> </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 moz-txt-link-freetext" 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/__https://www.cs.ox.ac.uk/people/marta.kwiatkowska/__;!!IBzWLUs!VkqrbeE2FeXli0UiBcc8m2Xqndhzpb6eDynLj_DhPPiT5ntWqnDLX86GtVxhfZ5GMCC2tQvvtQAZpC3uanWYjktpA90gFzTO_wF5FsZ72owtZQ$" moz-do-not-send="true">https://www.cs.ox.ac.uk/people/marta.kwiatkowska/</a>
Project Office and PA: Karla-Maria Perez Blanco
Email: <a class="moz-txt-link-abbreviated moz-txt-link-freetext" href="mailto:karla.perez@cs.ox.ac.uk" moz-do-not-send="true">karla.perez@cs.ox.ac.uk</a>, Tel: +44 (0)1865 283581</pre>
</div>
</body>
</html>