University of Oxford

Open Data about the University of Oxford

data.ox.ac.uk

beta

Research Associate on AutoCS Project

Applications for this vacancy closed on 7 October 2024 at 12:00PM
<div xmlns="http://www.w3.org/1999/xhtml"> <p></p><div>The Department of Computer Science, University of Oxford, is currently looking for a researcher for the Automatic Computer Scientist (AutoCS) project to work under the supervision of Andrew Cropper.&#160;</div><br> <div>Program synthesis is a grand challenge in artificial intelligence (AI). The goal is to design algorithms that learn to write computer programs. To work on this grand challenge, this project builds on recent breakthroughs in inductive logic programming (ILP), a form of machine learning based on computational logic. &#160;</div><br> <div>&#160;</div><br> <div>The successful candidate will join the Logic and Learning (LOL) group and will contribute to this project by design novel algorithms for program synthesis and inductive logic programming, building software and supporting research groups. &#160;In addition to collaborating with partner institutions and research groups, the successful candidate will be expected to contribute to wider project planning, including writing research grants. &#160;</div><br> <div>&#160;</div><br> <div>Holding a relevant PhD/DPhil or being close to completion in Computer Science, artificial intelligence&#160;or a related field together with relevant experience is a must. Possessing sufficient specialist&#160;knowledge and demonstrable experience and proven experience in software development are&#160;among the essential criteria.</div><br> <div>&#160;</div><br> <div><strong>The closing date for applications is 12 noon on 7th October 2024.</strong> Interviews are expected to be held in October.&#160;</div><br> <div>&#160;</div><br> <div><strong>We are a Stonewall Top 100 Employer, Living Wage, holding an Athena Swan Bronze Award, HR excellence in Research and Race Equality Charter Bronze Award.</strong></div><br> <div>&#160;</div><br> <div>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 http://www.cs.ox.ac.uk/aboutus/women-cs-oxford/index.html , 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 shared parental leave.</div><br> <div>&#160;</div><br> <div>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.</div> </div>
dc:spatial
Computer Science - Wolfson Building, Parks Road, Oxford
Subject
oo:contact
oo:formalOrganization
oo:organizationPart
vacancy:applicationClosingDate
2024-10-07 12:00:00+01:00
vacancy:applicationOpeningDate
2024-09-23 09:00:00+01:00
vacancy:furtherParticulars
vacancy:internalApplicationsOnly
False
vacancy:salary
type
comment

The Department of Computer Science, University of Oxford, is currently looking for a researcher for the Automatic Computer Scientist (AutoCS) project to work under the supervision of Andrew Cropper. 

Program synthesis is a grand challenge in artificial intelligence (AI). The goal is to design algorithms that learn to write computer programs. To work on this grand challenge, this project builds on recent breakthroughs in inductive logic programming (ILP), a form of machine learning based on computational logic.  

 

The successful candidate will join the Logic and Learning (LOL) group and will contribute to this project by design novel algorithms ...
The Department of Computer Science, University of Oxford, is currently looking
for a researcher for the Automatic Computer Scientist (AutoCS) project to work
under the supervision of Andrew Cropper.



Program synthesis is a grand challenge in artificial intelligence (AI). The
goal is to design algorithms that learn to write computer programs. To work on
this grand challenge, this project builds on recent breakthroughs in inductive
logic programming (ILP), a form of machine learning based on computational
logic.





The successful candidate will join the Logic and Learning (LOL) group and will
contribute to this project by design novel algorithms for program ...
label
Research Associate on AutoCS Project
notation
175400
based near
page