Member of Technical Staff - HU

Reasonable is the applied AI research company building formal verification for super-human software development. 

Correctness guarantees for software developed by humans and machines are no longer impractical or prohibitively expensive. Code generated by AI can be provably correct, rather than plausibly functional. At Reasonable, we are doing the research, training the models, and developing the products required to make this a reality. Achieving this creates a new paradigm for high accountability software development and unlocks the full potential of AI for professional engineers. 

We’re a compact, talent-dense technical team, with deep domain expertise in machine learning, formal verification and mathematical models of program semantics. Join us to develop the next frontier of formal reasoning and software engineering.

Proof follows function.

The Role

As a Member of Technical Staff, you will play a key early role at the core of Reasonable's research, engineering, and product development. Your work will shape the research vision and develop new capabilities at the frontier, where novel training approaches and formal methods intersect. Ultimately, your work will be instrumental in enabling formal oversight in software development. 

Projects our team is working o