Member of Technical Staff

Overview

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