Sign up with

Already have an account? Log in here

Need some help?
Talk to us at +91 7670800001

Member of Technical Staff at Da Vinci

London, England, United Kingdom -

Full Time

Start Date

Immediate

Expiry Date

20 Apr, 26

Salary

0.0

Posted On

20 Jan, 26

Experience

2 year(s) or above

Remote Job

Yes

Telecommute

Yes

Sponsor Visa

Skills

Machine Learning, Formal Methods, Software Engineering, MLOps, Multi-GPU Clusters, Specification-Aware Programming, Proof Assistants, AI-Assisted Programming

Industry

Description

Reasonable is an applied research company developing training paradigms for superhuman programming AI. We draw on on domain expertise in machine learning, formal verification and mathematical models of program semantics to create open-ended training environments, pre-training datasets, and post-training methods that continue to challenge LLMs even as they develop deeply superhuman levels of understanding and skill in programming. We think when AI writes most code, it will ultimately enable new ways for computers to be programmed, using programming paradigms that are just too challenging for humans to use at scale, enabling optimisations that were previously too complex to attempt. We call these applications post-human software engineering. We aim to create a compact, talent-dense technical team to develop the next generation of frontier training methods. We want to build in Europe, have impact in the Bay Area. We prioritise applicants interested in relocating to Budapest or London. The ideal candidate demonstrates: domain expertise in either machine learning or formal methods; interest in learning the other if expertise is in one of these fast learning of deep technical subjects experience running machine learning experiments, ideally at scale experience with post-training large language models knowledge of software engineering best practices (advanced git workflows, testing, containerization, code reviews, etc) familiarity with MLOps tools, working models on multi-GPU clusters an understanding of specification-aware programming (Dafny, Viper) and proof assistants (LEAN, Isabel) experience using AI-assisted or AI-accelerated programming (Cursor or similar) and/or a willingness and ability to learn and grow in any of the above areas and beyond. Competitive salary Equity (through share option scheme) Flexible working patterns Healthcare, childcare, fitness and other common benefits (we're figuring this out) Being there from the very early stages

Responsibilities

Develop training paradigms for superhuman programming AI and create open-ended training environments. Work on pre-training datasets and post-training methods to challenge LLMs.