Research associate or research fellow in machine learning (2 posts available) Work, Jobs in Oldham, Gtm (with Salaries)

Research Associate in Learning to do Math with Vampires and Spiders
The University of Manchester —Manchester
- £37,694 - £46,049 a year
- Hybrid work
- Computer Science
- University
- Annual leave
- Employee assistance programme
Research Associate in Atomically Thin Capillaries (2 posts)
The University of Manchester —Manchester
- £37,694 - £46,049 a year
- Hybrid work
- Doctoral degree
- University
- Communication skills
- Annual leave
- Employee assistance programme
Executive Assistant
The Christie NHS Foundation Trust —Manchester
- £32,073 - £39,043 a year
- Full-time
- Hybrid work
- Microsoft Office
- Organisational skills
- IT
1d
Careers and Welfare Co-ordinator
The Manchester College —Manchester
- £26,000 - £36,817 a year
- Full-time
- English
- IT
- Time management
- Annual leave
- Employee assistance programme
7d
Travel Trainer
Pure Innovations —Stockport
- £14,021 a year
- Full-time
- Travel
- IT
- In-person
- Health & wellbeing programme
- Employee discount
Quick apply
6d
Digital Lab Technician
Salford City College —Salford
- £21,955 - £27,231 a year
- Full-time
- Military
- Free parking
- Annual leave
7d
Change of Tenancy Advisor
Clear Business —Sale
- £24,880 - £28,594 a year
- Full-time
- Hybrid work
- Sales
- Customer service
- Negotiation
- Free parking
- Annual leave
Quick apply
Job Coach - Supported Internships - Huddersfield
Shaw Trust —Huddersfield
- £26,228 - £32,083 a year
- Annual leave
- Employee assistance programme
Local Studies & Archives Internship
Trafford Council —Trafford
- £12,401 a year
- Weekend availability
- Hybrid work
- Internship
- Annual leave
- Work from home
9d
Application Support Analyst
JLA —Ripponden
- Up to £35,000 a year
- Full-time
- Customer service
- ERP systems
- Microsoft Office
Quick apply
1h
House Services Assistant Cluster Manager (2 posts available)
The University of Manchester —Manchester
- £29,588 - £32,080 a year
- Full-time
- Hybrid work
- Customer service
- IT
- Communication skills
- Annual leave
- Employee discount
7d
Tutor with Job Coaching - Supported Internships - Huddersfield
Shaw Trust —Huddersfield
- £26,228 - £32,083 a year
- Annual leave
- Employee assistance programme
Specialist Mentor
The University of Manchester —Manchester
- £33,002 - £36,636 a year
- Part-time
- Hybrid work
- University
- No degree
- Communication skills
- Annual leave
- Employee discount
10d
Exams Administrator
Salford City College —Salford
- £19,265 - £27,231 a year
- Part-time
- Military
- Free parking
- Annual leave
3d
Operational Support Officer
HM Courts & Tribunal Service —Manchester
- £20,001 - £30,000 a year
- Part-time
- Hybrid work
- Customer service
- Administrative experience
- Presentation skills
- Annual leave
- Employee discount
10d
PE Teacher
High Peak School —Disley
- £32,916 - £45,350 a year
- Full-time
- Classroom experience
- Communication skills
- School
- Employee discount
Gym Instructor
Mahdlo Youth Zone —Oldham
- £13.94 an hour
- Part-time
- Anatomy knowledge
- First Aid Certification
- In-person
- Free parking
- Employee assistance programme
Quick apply
Youth Engagement Officer
Burnley FC in the Community —Burnley
- £24,984 - £27,587 a year
- Weekend availability
- Microsoft Access
- Microsoft Office
- IT
Apprentice Business Administration
Oldham Council —Oldham
- £19,116 - £23,340 a year
- Full-time
- Microsoft Word
- Microsoft Excel
- Microsoft Outlook
- Annual leave
- Employee discount
Wellstudent Coach
Salford City College —Salford
- £21,955 - £27,231 a year
- Full-time
- Free parking
- Employee discount
6d

I want to receive the latest job alerts for research associate or research fellow in machine learning (2 posts available) in oldham, gtm

By signing in to your account, you agree to SimplyHired's Terms of Service and consent to our Cookie and Privacy Policy.

Research Associate in Learning to do Math with Vampires and Spiders

The University of Manchester -
Manchester

Apply Now

Job details

£37,694 - £46,049 a year

Benefits

Annual leave
Company pension
Employee assistance programme
Employee discount

Qualifications

Computer Science

Full job description

We are seeking two highly motivated and experienced Research Associates to join an established research group. These positions are part of the new project “Learning to do Math with Vampires and Spiders” awarded to the Computer Science Department of the University of Manchester, see https://urldefense.com/v3/__https://www.renaissancephilanthropy.org/learning-to-do-math-with-vampires-and-spiders__;!!PDiH4ENfjr2_Jw!FvmmBLV3X93d27-Lr4fPRb1GB7HQbr-LVyniT-KSZL1gnD2rMfQwKiv7QLOOlmNZ9tciryak0NwASiTa51SADg$ [renaissancephilanthropy[.]org]

The formal methods group conducts research in automated reasoning, with recent emphasis on solving problems in mathematics. We build the world leading automatic theorem prover Vampire, based on our research in theory, implementation and applications of theorem proving. Vampire won over 70 world championship titles in first-order and higher-order theorem proving.

Overall Purpose of the Job

There are two available positions. The corresponding research directions are:

1. Improving theory reasoning in Vampire, with the aim of enhancing its reasoning capabilities in math, including analysis, non-linear math and trigonometric functions.

2. Formalisation of math in a way suitable for completely automatic systems like Vampire

Position 1 requires knowledge of (automatic) first-order theorem proving and will involve programming Vampire.

The aim of direction 2 is understanding capabilities and limitations of modern automatic theorem provers for conducting textbook proofs in math. An ideal candidate for Position 2 should have knowledge of interactive theorem proving and be able to make experiments with Vampire.

When applying, please specify which of the positions you are applying to (1, 2 or both).

Manchester has a long and distinguished track record in the research and teaching of core Computer Science, and across interfaces to adjacent disciplines. Founded upon the pioneering work of Williams, Kilburn and Turing, we were the first academic Department of Computer Science in the UK and one of the first to run an undergraduate programme. Our research strength is reflected in consistently strong returns in UK research assessment exercises (5* in RAE 2000, 2nd in Research Power in RAE 2008, and ranked equal 1st for research environment in REF2014 and REF2021).

The Department is strongly committed to promoting equality and diversity, including the Athena SWAN charter for gender equality in higher education. The Department holds a Bronze Awardfor good practice in relation to gender including flexible working arrangements, family-friendly policies, and support to allow staff to achieve a good work-life balance. We positively welcome applications from women for this post. For further information, please visit:

http://www.manchester.ac.uk/connect/jobs/equality-diversity/awards/athena-swan/

What you will get in return:

Fantastic market leading Pension scheme

Excellent employee health and wellbeing services including an Employee Assistance Programme

Exceptional starting annual leave entitlement, plus bank holidays

Additional paid closure over the Christmas period

Local and national discounts at a range of major retailers

Our University is positive about flexible working you can find out more here

Hybrid working arrangements may be considered.

Please be aware that due to the number of applications we are unfortunately not able to provide individual feedback on your application

Please note that we are unable to respond to enquiries, accept CVs or applications from Recruitment Agencies.

Any CV’s submitted by a recruitment agency will be considered a gift.

Enquiries about the vacancy, shortlisting and interviews:

Name: Andrei Voronkov

Email: [email protected]

General enquiries:

Email: [email protected]

Technical support:

https://urldefense.com/v3/__https://jobseekersupport.jobtrain.co.uk/support/home__;!!PDiH4ENfjr2_Jw!FvmmBLV3X93d27-Lr4fPRb1GB7HQbr-LVyniT-KSZL1gnD2rMfQwKiv7QLOOlmNZ9tciryak0NwASiQIfQF60w$ [jobseekersupport[.]jobtrain[.]co[.]uk]

This vacancy will close for applications at midnight on the closing date.

Please see the link below for the Further Particulars document which contains the person specification criteria.

Apply Now

Refine Your Search

research associate or research fellow in machine learning (2 posts available) jobs in oldham, gtm

Research Associate in Learning to do Math with Vampires and Spiders

Research Associate in Atomically Thin Capillaries (2 posts)

Executive Assistant

Careers and Welfare Co-ordinator

Travel Trainer

Digital Lab Technician

Change of Tenancy Advisor

Job Coach - Supported Internships - Huddersfield

Local Studies & Archives Internship

Application Support Analyst

House Services Assistant Cluster Manager (2 posts available)

Tutor with Job Coaching - Supported Internships - Huddersfield

Specialist Mentor

Exams Administrator

Operational Support Officer

PE Teacher

Gym Instructor

Youth Engagement Officer

Apprentice Business Administration

Wellstudent Coach

I want to receive the latest job alerts for research associate or research fellow in machine learning (2 posts available) in oldham, gtm

Related Searches

Explore jobs in more locations

Jobseeker tools

Employer Tools

Browse

Stay Connected