Member of Technical Staff - US Talent Pool

Reasonable is an applied research company developing training paradigms for superhuman programming AI. We are building a compact, talent-dense technical team to develop the next generation of frontier training methods. We aim to have impact in the Bay Area and currently prioritize applicants interested in relocating to Budapest.

Requirements

• Domain expertise in machine learning or formal methods
• Fast learning of deep technical subjects
• Experience running machine learning experiments, ideally at scale
• Knowledge of software engineering best practices (advanced git workflows, testing, containerization, code reviews, etc)
• Familiarity with MLOps tools, working models on multi-GPU clusters
• Understanding of specification-aware programming (Dafny, Viper) and proof assistants (LEAN, Isabel)
• Experience using AI-assisted or AI-accelerated programming (Cursor or similar)

Benefits

• Competitive salary
• Equity (through share option scheme)
• Flexible working patterns
• Healthcare
• Childcare
• Fitness
• Other common benefits