. . "Source"@en . . . . """_________________________________________________________________________ University of Oxford Department of Computer Science Job description and selection criteria Job title Research Associate on AutoCS Project Division Mathematical, Physical and Life Sciences (MPLS) Department Computer Science Location Wolfson Building, Parks Road, Oxford. Grade and salary Grade 7: £37,524 - £43,232 p.a. with the potential to underfill at Grade 6 with salaries in the range of £32,332 - £38,205 p.a. Hours Full time (part-time can be considered) Contract type Fixed-term contract until 31 August 2025 Reporting to Andrew Cropper Vacancy Reference 175400 Additional information Candidates will be considered with strong potential and commitment who are seeking an opportunity for early research experience, for which an initial appointment would be at Grade 6 £33,832 - £39,705 p.a. with the responsibilities adjusted accordingly. This would be discussed with applicants at interview/appointment where appropriate. Research topic Automatic Computer Scientist (AutoCS) Principal Investigator / Andrew Cropper supervisor Funding partner Overview of the role The funds supporting this research project are provided by Engineering and Physical Sciences Research Council (EPSRC) We are looking for a researcher for the Automatic Computer Scientist (AutoCS) project. 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. As a researcher on this project, will join the Logic and Learning (LOL) group and will work under the supervision of Andrew Cropper. You will contribute to this project as outlined below. Responsibilities/duties  Design novel algorithms for program synthesis and inductive logic programming  Contribute to conference and journal papers  Disseminate research results at seminars, workshops, and conferences  Build software  Support research group management and administration  Co-supervise junior researchers (PhD, MSc, BA)  Represent the research group at external meetings/seminars  Collaborate with partner institutions and research groups  Fulfil public engagement obligations  Contribute to wider project planning, including writing research grants Selection criteria Essential  Hold a relevant PhD/DPhil (be close to completion*) in Computer Science, artificial intelligence or a related field together with relevant experience  An excellent track record of conducting and completing research projects, illustrated by published peer-reviewed work  Possess sufficient specialist knowledge and demonstrable experience in some/all the areas of program synthesis, inductive logic programming, constraint solving, answer set programming, Boolean satisfiability  Proven experience in software development  Excellent communication skills, including the ability to write for publication, present research proposals and results, and represent the research group at meetings 2 Desirable  Experience in independently managing a research project  Experience in project management and supervising staff and other researchers  Proven ability to raise research funds through making grant applications *Evidence required: EITHER a copy of your PhD/ DPhil award certificate; OR an academic reference confirming the qualification has been awarded; OR an academic ref confirming that you’ve submitted your thesis, if you have not yet completed Pre-employment screening Standard checks If you are offered the post, the offer will be subject to standard pre-employment checks. You will be asked to provide: proof of your right-to-work in the UK; proof of your identity; and (if we haven’t done so already) we will contact the referees you have nominated. You will also be asked to complete a health declaration so that you can tell us about any health conditions or disabilities for which you may need us to make appropriate adjustments. Please read the candidate notes on the University’s pre-employment screening procedures at: https://www.jobs.ox.ac.uk/pre-employment-checks About the University of Oxford Welcome to the University of Oxford. We aim to lead the world in research and education for the benefit of society both in the UK and globally. Oxford’s researchers engage with academic, commercial and cultural partners across the world to stimulate high-quality research and enable innovation through a broad range of social, policy and economic impacts. We believe our strengths lie both in empowering individuals and teams to address fundamental questions of global significance, while providing all our staff with a welcoming and inclusive workplace that enables everyone to develop and do their best work. Recognising that diversity is our strength, vital for innovation and creativity, we aspire to build a truly diverse community which values and respects every individual’s unique contribution. While we have long traditions of scholarship, we are also forward-looking, creative and cutting-edge. Oxford is one of Europe's most entrepreneurial universities and we rank first in the UK for university spin-outs, and in recent years we have spun out 15-20 new companies every year. We are also recognised as leaders in support for social enterprise. Join us and you will find a unique, democratic and international community, a great range of staff benefits and access to a vibrant array of cultural activities in the beautiful city of Oxford. For more information, please visit www.ox.ac.uk/about/organisation. 3 Department of Computer Science The Department of Computer Science is consistently recognised as the internationally leading centre of research and teaching across a broad spectrum of computer science, ranging from foundational discoveries to interdisciplinary work with significant real-world impact. We are proud of our history as one of the longest-established computer science departments in the country, as we continue to provide first-rate undergraduate and postgraduate teaching to some of the world’s brightest minds. Our world-class research is conducted across our research themes, which span the broad spectrum of computer science, ranging from foundational discoveries to interdisciplinary work with significant real-world impact. A significant majority of our staff are active in externally sponsored research, with both government and industrial funding. Our 2021 Research Excellence Framework submission saw 81% of our research activity ranked as world-leading (4*), with the rest ranked as internationally excellent (3*). We have had 19 ERC Fellowships in the last decade (including 7 Advanced) and we have 6 Fellows of the Royal Society, 4 Turing/Turing AI Fellows, a Fellow of the Royal Academy of Engineering and a Fellow of the Institute of Electrical and Electronics Engineers. We enjoy close links with other Oxford University departments (Mathematics, Engineering, Physics, Statistics and Life sciences) and work collaboratively with Oxford research groups and institutes (including the Oxford Internet Institute and the Oxford e-Research Centre). At present, the department has 71 faculty members and 98 researchers housed across multiple sites within the University’s South Parks Road Science Area and the neighbouring area. Through a programme of continuous improvement, the department is committed to promoting and nurturing a diverse, inclusive and equal culture, with a particular focus on growth in gender equality (from our students to our staff). The department holds over £75m of external funding of which £58m is research. Research in the department is currently managed in ten themes:  Algorithms and Complexity Theory, led by Professor Leslie Ann Goldberg, focusses on determining the inherent difficulty of computational problems, classifying problems according to this inherent difficulty, and designing and analysing algorithms that use computational resources as efficiently as possible.  Artificial Intelligence and Machine Learning, led by Professor Michael Wooldridge, focuses on theoretical foundations of AI, multiagent systems, deep learning, reinforcement learning, and computational linguistics.  Automated Verification, led by Professor Marta Kwiatkowska, investigates theory and practice of formal verification and correct-by-construction synthesis for software and hardware systems.  Computational Biology and Health Informatics, led by Professor Blanca Rodriquez, is concerned with computational approaches for biomedical research and healthcare innovation.  Data Knowledge and Action, led by Professor Ian Horrocks, includes databases, knowledge representation and reasoning.  Human Centred Computing, led by Professor Nigel Shadbolt, includes human computer interaction, social computing, and the worldwide web.  Programming Languages, led by Professor Nobuko Yoshida, includes functional programming, program analysis, and programming language foundations.  Quantum, led by Professor Jonathan Barrett, focusses on quantum computing including quantum software, causality in quantum theory, quantum cryptography and foundations of quantum computing.  Security, led by Professor Ivan Martinovic, specialises in cybersecurity, protocol analysis, systems security, trusted computing, and networking. 4  Systems, led by Professor Niki Trigoni, focusses especially on cyber physical systems. We plan to substantially broaden our research in systems to complement our existing research areas. Our greatest asset is our people. We consistently attract the best staff and students and, thanks to them, we have been ranked as the world's leading university for computer sciences for six years in a row by the Times Higher Education. We have held an Athena Swan Bronze Award since 2014, reflecting our longstanding commitment to promoting and supporting gender equality. Find out more information on our website https://www.cs.ox.ac.uk/ The Department of Computer Science holds a bronze Athena Swan award to recognise advancement of gender equality: representation, progression and success for all. The Mathematical, Physical, and Life Sciences Division (MPLS) The Mathematical, Physical, and Life Sciences (MPLS) Division is one of the four academic divisions of the University. Oxford is widely recognised as one of the world's leading science universities and the MPLS Division is home to our non-medical sciences, with 9 academic departments that span the full spectrum of the mathematical, computational, physical, engineering and life sciences, and undertake both fundamental research and cutting-edge applied work. Our research tackles major societal and technological challenges – whether developing new energy solutions or improved cancer treatments, understanding climate change processes, or helping to preserve biodiversity, and is increasingly focused on key interdisciplinary issues. We collaborate closely with colleagues in Oxford across the medical sciences, social sciences and humanities, and with other universities, research organisations and industrial partners across the globe in pursuit of innovative research geared to address critical and fundamental scientific questions. MPLS is proud to be the home of some of the most creative and innovative scientific thinkers and leaders working in academe. Our senior researchers have been awarded some of the most significant scientific honours and we have a strong tradition of attracting and nurturing the very best early career researchers who regularly secure prestigious fellowships and faculty positions. MPLS continues in its work to support diversity in its staffing, seeing that it will bring benefits to all, and we are pleased to note that all academic departments in the Division hold Athena Swan Awards. We have around 7,000 full and part-time students (including approximately 3,500 graduate students) and play a major role in training the next generation of leading scientists. Oxford's international reputation for excellence in teaching is reflected in its position at the top of the major league tables and subject assessments. MPLS academics educate students of high academic merit and potential from all over the world. Through a mixture of lectures, practical work and the distinctive college tutorial system, students develop their ability to solve diverse mathematical, scientific and engineering problems. MPLS is dedicated to bringing the wonder and potential of science to the attention of audiences far beyond the world of academia. We have a strong commitment to supporting public engagement in science through initiatives including the Oxford Sparks portal (www.oxfordsparks.ox.ac.uk) and a large variety of outreach activities; these are crucial activities given so many societal and technological issues demand an understanding of the science that underpins them. We also bring the potential of our scientific efforts forward for practical and beneficial application to the real world and our desire, aided by the work of Oxford University Innovation and Oxford Sciences Innovation, is to link our best scientific minds with industry and public policy makers. 5 For more information about the MPLS division, please visit: www.mpls.ox.ac.uk How to apply Applications are made through our online recruitment portal. Information about how to apply is available on our Jobs website https://www.jobs.ox.ac.uk/how-to-apply. Your application will be judged solely on the basis of how you demonstrate that you meet the selection criteria stated in the job description. As part of your application you will be asked to provide details of two referees and indicate whether we can contact them now. You will be asked to upload a CV and a supporting statement. The supporting statement must explain how you meet each of the selection criteria for the post using examples of your skills and experience. This may include experience gained in employment, education, or during career breaks (such as time out to care for dependants) Please upload all documents as PDF files with your name and the document type in the filename. All applications must be received by midday UK time on the closing date stated in the online advertisement. Information for priority candidates A priority candidate is a University employee who is seeking redeployment because they have been advised that they are at risk of redundancy, or on grounds of ill-health/disability. Priority candidates are issued with a redeployment letter by their employing department(s). If you are a priority candidate, please ensure that you attach your redeployment letter to your application (or email it to the contact address on the advert if the application form used for the vacancy does not allow attachments). If you need help Application FAQs, including technical troubleshooting advice is available at: https://staff.web.ox.ac.uk/recruitment-support-faqs Non-technical questions about this job should be addressed to the recruiting department directly (hr@cs.ox.ac.uk ) To return to the online application at any stage, please go to: www.recruit.ox.ac.uk. Please note that you will receive an automated email from our online recruitment portal to confirm receipt of your application. Please check your spam/junk mail if you do not receive this email. Important information for candidates Data Privacy Please note that any personal data submitted to the University as part of the job application process will be processed in accordance with the GDPR and related UK data protection legislation. For further information, please see the University’s Privacy Notice for Job Applicants at: https://compliance.admin.ox.ac.uk/job-applicant-privacy-policy. The University’s Policy on Data Protection is available at: https://compliance.admin.ox.ac.uk/data-protection-policy. 6 The University’s policy on retirement The University operates an Employer Justified Retirement Age (EJRA) for very senior research posts at grade RSIV/D35 and clinical equivalents E62 and E82 of 30 September before the 70th birthday. The justification for this is explained at: https://hr.admin.ox.ac.uk/the-ejra. For existing employees on these grades, any employment beyond the retirement age is subject to approval through the procedures: https://hr.admin.ox.ac.uk/the-ejra. There is no normal or fixed age at which staff in posts at other grades have to retire. Staff at these grades may elect to retire in accordance with the rules of the applicable pension scheme, as may be amended from time to time. Equality of opportunity Entry into employment with the University and progression within employment will be determined only by personal merit and the application of criteria which are related to the duties of each particular post and the relevant salary structure. In all cases, ability to perform the job will be the primary consideration. No applicant or member of staff shall be discriminated against because of age, disability, gender reassignment, marriage or civil partnership, pregnancy or maternity, race, religion or belief, sex, or sexual orientation. Benefits of working at the University Employee benefits University employees enjoy 38 days’ paid holiday, generous pension schemes, flexible working options, travel discounts including salary sacrifice schemes for bicycles and electric cars and other discounts. Staff can access a huge range of personal and professional development opportunities. See https://hr.admin.ox.ac.uk/staff-benefits Employee Assistance Programme As part of our wellbeing offering staff get free access to Health Assured, a confidential employee assistance programme, available 24/7 for 365 days a year. Find out more https://staff.admin.ox.ac.uk/health-assured-eap University Club and sports facilities Membership of the University Club is free for University staff. It offers social, sporting, and hospitality facilities. Staff can also use the University Sports Centre on Iffley Road at discounted rates, including a fitness centre, powerlifting room, and swimming pool. See www.club.ox.ac.uk and https://www.sport.ox.ac.uk/. Information for staff new to Oxford If you are relocating to Oxfordshire from overseas or elsewhere in the UK, the University's Welcome Service includes practical information about settling in the area, including advice on relocation, accommodation, and local schools. See https://welcome.ox.ac.uk/ There is also a visa loan scheme to cover the costs of UK visa applications for staff and their dependants. See https://staffimmigration.admin.ox.ac.uk/visa-loan-scheme Family-friendly benefits We are a family-friendly employer with one of the most generous family leave schemes in the Higher Education sector. Our Childcare Services team provides guidance and support on childcare provision, and offers a range of high quality childcare options at affordable prices for staff. In addition to 5 University nurseries, we partner with a number of local providers to offer in excess of 450 full time 7 nursery places to our staff. Eligible parents are able to pay for childcare through salary sacrifice, further reducing costs. See https://childcare.admin.ox.ac.uk/ . We also subscribe to the Work+Family Space, a service that provides practical advice and support for employees who have caring responsibilities for dependants of all types. See https://hr.admin.ox.ac.uk/my-family-care Supporting disability and health-related issues (inc menopause) We are committed to supporting members of staff with disabilities or long-term health conditions, including those experiencing negative effects of menopause. Information about the University’s Staff Disability Advisor, is at https://edu.admin.ox.ac.uk/disability-support. For information about how we support those going through menopause see https://hr.admin.ox.ac.uk/menopause-guidance Staff networks The University has a number of staff networks including for research staff, BME staff, LGBT+ staff, disabled staff network and those going through menopause. Find out more at https://edu.admin.ox.ac.uk/networks The University of Oxford Newcomers' Club The University of Oxford Newcomers' Club is run by volunteers that aims to assist the partners of new staff settle into Oxford, and provides them with an opportunity to meet people and make connections in the local area. See www.newcomers.ox.ac.uk. Research staff The Researcher Hub supports all researchers on fixed-term contracts. They aim to help you settle in comfortably, make connections, grow as a person, extend your research expertise and approach your next career step with confidence. Find out more https://www.ox.ac.uk/research/supportresearchers/researcher-hub Oxford’s Research Staff Society is a collective voice for our researchers. They also organise social and professional networking activities for researchers. Find out more https://www.ox.ac.uk/research/support-researchers/connecting-other-researchers/oxfordresearch-staff-society 8 """^^ . . _:Naf99837c156341f9b9346f0cf55da31c . . . . . . . . . "street address"@en . . "Title"@en . . "sotto-Organization di"@it . . . "51.75997"^^ . . _:N5796d8f200a74a7c8e0565a97f207c84 . . . "32332"^^ . _:N9e042edfcd8e40c9b598ba9b8a246bf6 "United Kingdom" . _:Ned11bc2db4514f749a740d39e6d0d0d7 . "Notation3 description of Research Associate on AutoCS Project" . . . "logo" . . . "50" . "Department of Computer Science" . . . . "site principal"@fr . . . . _:N5796d8f200a74a7c8e0565a97f207c84 . "Grade 7: £37,524 - £43,232 p.a. with the potential to underfill at Grade 6 with salaries in the range of £32,332 - £38,205 p.a." . . . . . . "sous-Organization de"@fr . . "Unit price specification"@en . "has min currency value (1..1)"@en . "-1.258246"^^ . _:Ned11bc2db4514f749a740d39e6d0d0d7 "United Kingdom" . "175400"^^ . "2024-10-07T12:00:00+01:00"^^ . "way/197021482" . . "OxPoints"@en . "image" . . . . "COM"^^ . "40006001"^^ . . "value" . . "Agent" . "a un site"@fr . . . . . . "GBP" . . _:Nc9b5dbd4ba224b3a85f7e81a51fe8357 . . "ha sede"@it . . . . . . . "es suborganización de"@es . . . . . _:N0f68c8847e8a4399903b7c2bac97be3a . "preferred label"@en . _:Ned11bc2db4514f749a740d39e6d0d0d7 "Room 240, Wolfson Building" . . . . "has primary place" . . . "Voice"@en . . "tiene sede principal en"@es . . _:N9e042edfcd8e40c9b598ba9b8a246bf6 "University of Oxford" . . . . . . "false"^^ . "Past vacancies at the University of Oxford" . "Computer Science Library" . . . "OxPoints"@en . "sede principale"@it . _:Ned11bc2db4514f749a740d39e6d0d0d7 . . . "OLIS code" . . "Description of Research Associate on AutoCS Project" . . . "depiction" . "Format"@en . . . . . "University of Oxford" . . "Computer Science Library" . _:N0f68c8847e8a4399903b7c2bac97be3a "+44-1865-270000" . "Computing Lab"^^ . . "country name"@en . . "type" . "valid through (0..1)"@en . "extended address"@en . "HR Coordinator" . "account" . _:Naf99837c156341f9b9346f0cf55da31c . "text/plain" . "homepage" . "application/pdf" . "building" . . _:Nc9b5dbd4ba224b3a85f7e81a51fe8357 "Parks Road" . . . "based near" . "application/xhtml+xml" . "Computing Lab" . . . "locality"@en . "University of Oxford" . "telephone"@en . _:N9e042edfcd8e40c9b598ba9b8a246bf6 "Oxford" . "License"@en . . . "Fax"@en . . "text/n3" . . . . "Title"@en . "Document" . "Address"@en . . . . "NTriples description of Research Associate on AutoCS Project" . . "application/rdf+xml" . . . . "university" . "name" . "subOrganization of"@en . _:Nc9b5dbd4ba224b3a85f7e81a51fe8357 "Oxford" . . _:Ned11bc2db4514f749a740d39e6d0d0d7 "OX1 3QD" . "postal code"@en . "text/turtle" . "in dataset" . . _:Ned11bc2db4514f749a740d39e6d0d0d7 "Parks Road" . . . "label" . "32320013"^^ . . . . . "Old OLIS code" . "address"@en . . . . . . . "RDF/XML description of Research Associate on AutoCS Project" . . . "text/html" . _:Naf99837c156341f9b9346f0cf55da31c . . "Turtle description of Research Associate on AutoCS Project" . _:Nc9b5dbd4ba224b3a85f7e81a51fe8357 "OX1 3QD" . . . . . "Subject"@en . . "HTML description of Research Associate on AutoCS Project" . """

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 synthesis and inductive logic programming, building software and supporting research groups.  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.  

 

Holding a relevant PhD/DPhil or being close to completion in Computer Science, artificial intelligence or a related field together with relevant experience is a must. Possessing sufficient specialist knowledge and demonstrable experience and proven experience in software development are among the essential criteria.

 

The closing date for applications is 12 noon on 7th October 2024. Interviews are expected to be held in October. 

 

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.

 

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.

 

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.
"""^^ . "notation"@en . . "comment" . . . . . "Department of Computer Science" . . . . . . . . . . . "page" . "2024-09-23T09:00:00+01:00"^^ . . . "tiene sede en"@es . "COMDL"^^ . "COM" . "37524"^^ . "Computer Science - Wolfson Building, Parks Road, Oxford" . . . . "Research Associate on AutoCS Project" . . . "primary Site"@en . . . . . "Wolfson Building" . . . . _:N9e042edfcd8e40c9b598ba9b8a246bf6 . . _:Nc9b5dbd4ba224b3a85f7e81a51fe8357 . . . "library" . . "false"^^ . "OpenStreetMap feature identifier" . . . . . . . _:Nc9b5dbd4ba224b3a85f7e81a51fe8357 "United Kingdom" . "175400 Job description and selection criteria" . . . . . """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 synthesis and inductive logic programming, building software and supporting research groups. 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. Holding a relevant PhD/DPhil or being close to completion in Computer Science, artificial intelligence or a related field together with relevant experience is a must. Possessing sufficient specialist knowledge and demonstrable experience and proven experience in software development are among the essential criteria. **The closing date for applications is 12 noon on 7th October 2024.** Interviews are expected to be held in October. **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.** 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. 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. """ . . . . . . "has site"@en . . "Oxford, University of" . _:N9e042edfcd8e40c9b598ba9b8a246bf6 "OX1 2JD" . "has exact match"@en . . _:N5796d8f200a74a7c8e0565a97f207c84 "+44-1865-270708" . . . . "COMDL" . . "Is Part Of"@en . . "has currency (1..1)"@en . "false"^^ . _:N9e042edfcd8e40c9b598ba9b8a246bf6 "Wellington Square" . . "00000000"^^ . . . _:Ned11bc2db4514f749a740d39e6d0d0d7 "Oxford" . . "Wolfson Building" . . "2024-10-07T12:00:00+01:00"^^ . _:Naf99837c156341f9b9346f0cf55da31c . . . "longitude" . . . . _:N9e042edfcd8e40c9b598ba9b8a246bf6 . "library description page" . . . "7" . . . _:N0f68c8847e8a4399903b7c2bac97be3a . . "occupies" . "email"@en . . "latitude" . . . "has max currency value (1..1)"@en . .