Job title: Member of Technical Staff – UK
Company: Reasonable, an applied AI research company focused on formal verification and reliable AI-generated software.
Location: London, England, United Kingdom.
Working arrangement: The listing says hybrid, but the benefits section describes the team as on-site. Confirm the actual remote-working policy.
Employment type: Full-time.
Role focus: Research, engineering and product development at the intersection of machine learning, formal methods and software verification.
Visa sponsorship: Available for the ideal candidate, according to the advert.

 Join a WhatsApp channel that posts ONLY UK visa sponsorship jobs: https://whatsapp.com/channel/0029Vb6IqsxGJP8LdarxD53S

Responsibilities

• Contribute to the company’s research direction and technical development.

• Design evaluations to assess the capabilities of advanced AI coding models.

• Develop new post-training methods for large language models grounded in formal methods.

• Build tools that help provide correctness guarantees for software used in production.

• Work on technically challenging problems involving machine learning, mathematical reasoning and software verification.

• Develop and improve approaches for making AI-generated code more reliable and provably correct.

• Collaborate with a small, specialised technical team.

• Adapt to evolving research priorities and contribute according to individual strengths.

Requirements

• Strong expertise in either machine learning or formal methods, with an interest in learning the other.

• Evidence of learning complex technical subjects exceptionally quickly.

• Experience conducting machine learning experiments, preferably at scale.

• Experience post-training large language models.

• Strong software engineering skills, including:

  • Advanced Git workflows.

  • Testing and code review.

  • Containerisation.

• Familiarity with MLOps tools and training models across multi-GPU clusters.

• Understanding of specification-aware programming tools such as Verus, Dafny or TLA+.

• Familiarity with proof assistants and verification tools such as Lean and Isabelle.

• Experience using AI-assisted programming tools, such as Claude Code or similar tools.

Additional advantages

• Contributions to formal verification or program synthesis projects.

• Experience operating production backend services at scale.

• Experience with distributed systems, including concurrency, consensus and partial failures.

Benefits

• Generous salary, although no specific amount is disclosed.

• Equity in the company.

• Additional employment benefits.

• Opportunity to work with an experienced, technically specialised team.

• Chance to contribute to advanced AI research and software engineering.

• Company backing from prominent venture capital firms and individual investors.

• Opportunities for team and conference travel.

• UK visa sponsorship for an exceptional candidate.

How to Apply;

Interested and qualified candidates should:
Click here to apply online for this job

Disclaimer

Author: Simon RobertEasyInfoBlog is a multi-author blog. We have experts and professionals in various fields who share their ideas and expert knowledge to help you with your daily information needs. Thanks for reading!