Algorithm engineer Work, Jobs in Flamstead, Hrt (with Salaries)

Postdoctoral Researcher, AI Verification, Separation Logic in Lean
Meta —London
- Doctoral degree
- Computer Science
- AI
11d
Software Engineer - Applications
vServices —London
- Master's degree
- Bachelor's degree
- Linux
Quant Research Analyst
Revolut —London
Senior Machine Learning Engineer - Personalisation
Deliveroo —London
- Full-time
- Machine learning
- Communication skills
- Python
Data Scientist – Agentic AI - Permanent UK
Satalia —London
- Remote
- Computer Science
- SQL
- Machine learning
- Flexible schedule
Data Scientist II - QuantumBlack, AI by McKinsey
McKinsey & Company —London
- Azure
- Doctoral degree
- Computer Science
Backend engineer (Fin-tech)
Dazzle: Commercial & Office Cleaning | London —London
- Hybrid work
- Computer Science
- DevOps
- Engineering
Quick apply
Algorithms Engineer
MBDA —Stevenage
- £45,000 - £58,000 a year
- Overtime
- Hybrid work
- Data analysis skills
- System design
- Machine learning
- Free parking
Software Engineer - SDIM
vServices —London
- SQL
- Analysis skills
- Bachelor's degree
Systems Engineer: Design and Studies Engineer
MBDA —Stevenage
- £40,000 - £55,000 a year
- Full-time
- Hybrid work
- Maths
- Communication skills
Senior RTL Algorithm Engineer
Envisics —Milton Keynes
- Full-time
- Hybrid work
- Computer Science
- Engineering
- C++
- Annual leave
- Gym membership
Quick apply
Data Scientist II - QuantumBlack Labs
McKinsey & Company —London
- Azure
- Doctoral degree
- Computer Science
Systems Engineer - Modelling & Simulation (Seeker)
MBDA —Stevenage
- £40,000 - £58,000 a year
- Overtime
- Hybrid work
- Data analysis skills
- Machine learning
- No degree
- Free parking
Android Engineer
JINGDONG RETAIL (UK) LIMITED —London
- Computer Science
- English
- Java
Quick apply
9d
Data Scientist I - QuantumBlack, AI by McKinsey
McKinsey & Company —London
- Azure
- Doctoral degree
- Computer Science
Senior Software Engineer C++
Envisics —Milton Keynes
- Full-time
- Hybrid work
- Engineering
- Master's degree
- Analysis skills
- Flexible schedule
Quick apply
Data Scientist
Sainsbury's —London
- Hybrid work
- Azure
- Doctoral degree
- Master's degree
- Employee assistance programme
- Employee discount
6d
iOS Engineer
JINGDONG RETAIL (UK) LIMITED —London
- Computer Science
- English
- Bachelor's degree
Quick apply
9d
Software Engineer - Internal Tools
Octaipipe —London
- Full-time
- Hybrid work
- Azure
- SQL
- AWS
Quick apply
Women in Engineering Community
MBDA —Stevenage
- Hybrid work
- In-person
- Free parking
- Relocation assistance

I want to receive the latest job alerts for algorithm engineer in flamstead, hrt

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

Postdoctoral Researcher, AI Verification, Separation Logic in Lean

Meta -
London

Apply Now

Job details

11 days ago

Qualifications

Doctoral degree
Computer Science
AI

Full job description

Meta is seeking a Postdoctoral Researcher to advance research in program verification. In this role, you will conduct original research focused on embedding Separation Logic into the Lean proof assistant. You will collaborate with research scientists and engineers to publish high-impact work, develop prototype systems, and contribute to the broader scientific community while helping shape the direction of verification by and for AI.

Postdoctoral Researcher, AI Verification, Separation Logic in Lean Responsibilities:

Conduct original research on program verification, with emphasis on use of AI to discover proofs automatically
Work on embedding Separation Logic into the Lean proof assistant
Collaborate with or build on ongoing community efforts such as CSLib and Iris-Lean
Automate proofs of programs from leading research papers and textbooks, especially for concurrent programs. Investigate proof discovery beyond the leading edge
Develop evaluations and datasets to measure the effectiveness of proof methods
Collaborate with research scientists and engineers on problems related to data for machine learning algorithms and guardrails for AI agents
Author and co-author research papers for submission to peer-reviewed conferences and journals
Collaborate with Meta researchers and engineers on internal verification problems relevant to Meta
Participate in research community programs, seminars, and collaborative initiatives that strengthen the scientific culture of the team

Minimum Qualifications:

Currently has, or is in the process of obtaining, a PhD degree in Computer Science or a related field
Experience with Lean and/or Separation Logic
Experience communicating research findings through written publications, technical reports, or presentations at academic or industry venues

Preferred Qualifications:

Publication record at peer-reviewed AI or Verification/PL venues
Experience writing research-quality code, including reproducible experiment pipelines and analysis frameworks
Experience building AI agents, ML models and Benchmarks

About Meta:

Meta builds technologies that help people connect, find communities, and grow businesses. When Facebook launched in 2004, it changed the way people connect. Apps like Messenger, Instagram and WhatsApp further empowered billions around the world. Now, Meta is moving beyond 2D screens toward immersive experiences like augmented and virtual reality to help build the next evolution in social technology. People who choose to build their careers by building with us at Meta help shape a future that will take us beyond what digital connection makes possible today—beyond the constraints of screens, the limits of distance, and even the rules of physics.

Individual compensation is determined by skills, qualifications, experience, and location. Compensation details listed in this posting reflect the base hourly rate, monthly rate, or annual salary only, and do not include bonus, equity or sales incentives, if applicable. In addition to base compensation, Meta offers benefits. Learn more about benefits at Meta.

Apply Now

Refine Your Search

algorithm engineer jobs in flamstead, hrt

Postdoctoral Researcher, AI Verification, Separation Logic in Lean

Software Engineer - Applications

Quant Research Analyst

Senior Machine Learning Engineer - Personalisation

Data Scientist – Agentic AI - Permanent UK

Data Scientist II - QuantumBlack, AI by McKinsey

Backend engineer (Fin-tech)

Algorithms Engineer

Software Engineer - SDIM

Systems Engineer: Design and Studies Engineer

Senior RTL Algorithm Engineer

Data Scientist II - QuantumBlack Labs

Systems Engineer - Modelling & Simulation (Seeker)

Android Engineer

Data Scientist I - QuantumBlack, AI by McKinsey

Senior Software Engineer C++

Data Scientist

iOS Engineer

Software Engineer - Internal Tools

Women in Engineering Community

I want to receive the latest job alerts for algorithm engineer in flamstead, hrt

Related Searches

Explore jobs in more locations

Postdoctoral Researcher, AI Verification, Separation Logic in Lean Responsibilities:

Minimum Qualifications:

Preferred Qualifications:

About Meta:

Jobseeker tools

Employer Tools

Browse

Stay Connected