Executive Assistant
Reasonable AI
Executive Assistant
Reasonable AI
Applied AI research for formal verification
Reasonable AI · Budapest, Hungary · Full-time · Posted 2026-09-23
Workplace: on_site
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 support the next frontier of formal reasoning and software engineering.
Proof follows function.
The Role
As Executive Assistant, you will play a key early role at the core of Reasonable's operations. It's a tight, high-trust partnership between you and our founder-CEO, reporting directly to our Head of Operations to help the company scale.
This is a rare opportunity: a front-row view and key supporting role in how a deep-tech company gets built, working directly with the founders as they build and scale one of Europe’s most exciting tech startups.
Your focus will be inbox and calendar ownership, prioritization, and proactive problem solving:
We're an early-stage team tackling hard problems, and no two weeks look alike. Our roles require adaptability, but in return we adapt to your strengths. The entry point is advanced executive assistance practice, alongside a strong problem-solver mindset.
We're looking for
Bonus Points If You
This is an unusual profile. If that’s you, get in touch. If you are close to it, we still want to hear from you! If you know someone that would be ideal, we always reward great introductions.
Powered by Workable
Applied AI research for formal verification
Reasonable AI builds AI systems for formal verification of mission-critical software. It blends language models with formal methods to generate, repair, and verify machine-checkable proofs that accompany code, using Verus. They train small, specialized models that can match larger systems in proof accuracy while running faster, and analyze how models fail to prevent cheating. Their goal is to reduce the verification bottleneck from AI-assisted code, enabling engineers to produce software with formal correctness guarantees and machine-checkable proofs for each production line.
Explore more opportunities at Reasonable AI