Member of Technical Staff

Reasonable Technology Limited San Francisco, CA

Full Time Entry Level

Posted 1 month ago Expired

This job has expired

Looking for a job like Member of Technical Staff in or near San Francisco, CA? Upload your resume and we'll notify you when similar positions become available.

Upload Your Resume

About This Role

Join a compact and talent-dense technical team developing training paradigms for superhuman programming AI, leveraging machine learning, formal verification, and mathematical models of program semantics.

Requirements

Domain expertise in either machine learning or formal methods
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
Understanding of specification-aware programming (Dafny, Viper) and proof assistants (LEAN, Isabel)
Experience using AI-assisted or AI-accelerated programming (Cursor or similar)

Skills

Lean * Machine Learning * Git * Containerization * MLOps * Cursor * Formal Verification * Code Reviews * Dafny * Viper * Isabel *

* Required skills

Benefits

Competitive salary

Fitness

Healthcare

Flexible working patterns

Childcare

Equity (through share option scheme)

About Reasonable Technology Limited

An applied research company developing training paradigms for superhuman programming AI, drawing on machine learning, formal verification, and mathematical models.

Technology

View all jobs at Reasonable Technology Limited →