736,331open jobs
43,811companies
104,525added this week
Browse all
Location
In office (Budapest)
Employment
Full-Time

Confirmed on the employer's own hiring board on Sep 24, 2026. First seen by Alion on Sep 24, 2026.

Overview
Company
Impact
Profile match
Reasonable is building the verification layer for mission-critical software development, making formal correctness guarantees accessible to every software engineer.

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 build the next frontier of formal reasoning and software engineering.

Proof follows function.

The Role

As our first dedicated Talent Partner, you will play a key early role in Reasonable's growth. You'll work in close partnership with our founders, who are the hiring managers for most roles, and with our Head of Operations, to whom this role reports.

Your job is to run hiring end to end. Sourcing and pipeline building, screening and assessment, interview process, offer and close, with a focus on technical roles: formal verification, machine learning, software engineering, and other deep-tech hires.

At the heart of this role is the high bar and specificity of our hiring. Part of the focus is early-career: interns, graduates and PhDs coming out of the world’s leading University programmes and labs. The other part is very senior: people with deep formal-methods experience in industry, leading ML researchers and practitioners, and people who are rarely on the market and never respond to a template message. We must remain credible and effective at both ends of that spectrum.

A crucial part is to represent our voice and mission to every candidate, as well as review our current recruiting practices and evolve them as we grow past founder-led hiring.

This isn't a role where you're handed a mature pipeline and asked to keep it moving. You'll be defining how we source, how we screen, and how candidates experience Reasonable.

What you'll do

  • Own full-cycle hiring for technical and, as needed, business roles: intake, sourcing, screening, process, offer, close
  • Build our early-career pipeline: relationships with university groups and supervisors in PL/FM/ML, intern and graduate programmes, presence at the conferences and communities where our people are (think NeurIPS and their local equivalents)
  • Headhunt senior formal-methods and ML talent from industry: help the founders map the market, tap into existing relationships, and make the case for Reasonable to people who aren't looking
  • Design and run a structured process: interview loops, scorecards, interviewer calibration, so we hire consistently as more people start interviewing
  • Own candidate experience end to end: fast, respectful, transparent, and a credible representation of who we are
  • Keep a light set of funnel metrics (pipeline health, conversion, time-to-hire, source of hire) so hiring decisions are grounded in data
  • Use AI tools: creatively and aggressively across sourcing, outreach, screening and scheduling; we're an AI company, and our recruiting reflects the best of that
  • Set up and own our tooling (ATS, sourcing tools, referral programme) so the function scales without you becoming the bottleneck

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 recruiting practice, alongside a strong execution-driven mindset.

Requirements

We're looking for

  • Proven full-cycle recruiting experience, with direct exposure to technical/engineering hiring, ideally at an early-stage or scaling deep-tech startup
  • Comfort at both ends of the seniority spectrum: you've run intern/graduate/PhD hiring and closed senior, passive, hard-to-reach technical people
  • Comfort with sourcing proactively rather than relying on inbound - a real, active network is more valuable than a large passive one
  • Ability to operate in a high-velocity environment and build processes from scratch rather than execute an existing playbook
  • Strong candidate communication: you can represent a technical mission simply, credibly, and in your own words
  • Familiarity with lightweight ATS tools (Workable or similar) and outbound sourcing tools (LinkedIn Recruiter, JuiceBox, Gem etc.)
  • Comfort advising the management team on hiring plan and interview process design, not just execution
  • Enough technical fluency (or willingness to get there fast) to credibly pre-evaluate and sell engineering/research candidates
  • Based in Budapest or the UK (London/Cambridge), with the ability to travel between the two

Bonus Points If You

  • Have recruited within AI/ML or formal methods communities, or for niche research-heavy roles specifically
  • Have built a university relations or intern/graduate programme from scratch
  • Have hired across UK, Hungarian and US markets and understand how comp and expectations differ
  • Have set up an ATS and hiring process at a company that had none
  • Are already using AI tools in your daily recruiting workflow

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.

Benefits

  • Compensation: Generous salary, with equity and additional benefits
  • Location: Budapest, Hungary OR London, UK, with flexibility for team and conference travel - we're an on-site team
  • World-class team and environment: an opportunity to build alongside deeply experienced founders, in a well-funded company that’s backed by industry leading VCs and angels including Oriol Vinyals, Zoubin Ghahramani, Jonathan Frankle and Guy Podjarny, amongst many others

Location

Budapest or the UK (London / Cambridge), hybrid. Most of our hiring is in the UK and Hungary, with some hiring in the US (San Francisco).

Setup

If you’re unable to join on a full-time basis but you’re the perfect fit, don’t let that hold you back - we’re open to both part-time and fixed-term arrangements.

Free account
Stop reading job ads. Get the ones that fit.
One free account turns this page into a shortlist built around your stack, your level and your pay.
Match on every job. Stack, seniority, pay and location, scored against your profile.
736,331 open roles. Read straight off company career pages, refreshed every day.
Unlimited applications. Every one you send is tracked in one place, on-site or on a company board.
3 tailored CVs a month. Rewritten for the exact job you are applying to. Included free.
Create a free account Continue with Google
Free forever. No card. Under a minute.

Your match

How well do you fit this role?
Two answers are enough for a real match. No account needed.
Check my fit
Answers stay in this browser until you create an account.

Recommended for you based on this role

Similar stack
Same company
Budapest
$100k – $178k per year (Estimated) • In office • Full-Time • Newport
AI/ML
Machine Learning
Design
SolidWorks
AutoCAD
Apply
$33k – $88k per year (Estimated) • In office • Full-Time • Bangkok
AI/ML
Machine Learning
Apply
$25k – $59k per year (Estimated) • Remote/Hybrid • Full-Time • Bachelor's Degree • Bengaluru
AI/ML
LangGraph
AutoGen
LangChain
Model Context Protocol
Vertex AI
Fine-tuning
AI Agents
Arize Phoenix
LangSmith
AWS Bedrock
CrewAI
Gemini
LLM
RAG
Hallucination
Semantic Search
OpenAI
Amazon SageMaker
LLMOps
AWS Bedrock AgentCore
A2A
Human-in-the-Loop
Context Engineering
Semantic Search
LLM Guardrails
Edge AI
Agentic Workflows
Multi-Agent Systems
Tool Use
Vertex AI Agent Builder
Machine Learning
DevOps
GCP
Datadog
Azure
CI/CD
AWS
FinOps
IAM
Cybersecurity
Defense in Depth
Apply
Intern Supply Chain 3 hours ago
In office • Internship • Master's Degree • Gurgaon
Python
SQL
AI/ML
Computer Vision
NLP
PaddlePaddle
PaddleOCR
OCR
Machine Learning
DevOps
Git
Management
UiPath
Apply
$245k – $337k per year • In office • 5+ years exp • Bachelor's Degree
Databases
Databricks
AI/ML
Spark
Marketing
Salesforce
YouTube
LinkedIn
Instagram
Apply
$18k – $40k per year (Estimated) • In office • Full-Time • Bachelor's Degree • Budapest
AI/ML
Machine Learning
Apply
$152k – $312k per year (Estimated) • In office • Full-Time • San Francisco
Java
Rust
Kotlin
AI/ML
Machine Learning
DevOps
Datadog
AWS
Cloudflare
Management
Stripe
Apply
$65k – $145k per year (Estimated) • In office • Full-Time • Bachelor's Degree • Budapest
AI/ML
Claude Code
Post-training
Machine Learning
Apply
$116k – $215k per year (Estimated) • Remote (United States) • Full-Time • 5+ years exp • Bachelor's Degree • Budapest
AI/ML
Computer Vision
DevOps
Terraform
CI/CD
AWS
Kubernetes
AWS Lambda
Amazon EC2
Amazon S3
Amazon ECS
Amazon CloudWatch
Unix
Cybersecurity
GDPR
Apply
$43k – $107k per year (Estimated) • Remote/Hybrid • Full-Time • 7+ years exp • Budapest
Python
Java
SQL
C#
Scala
Databases
Snowflake
Databricks
DevOps
CI/CD
Analytics
Tableau
Power BI
Apply
$34k – $92k per year (Estimated) • In office • Full-Time • Budapest
Apply
$32k – $67k per year (Estimated) • In office • Full-Time • 5+ years exp • Master's Degree • Budapest
Management
Agile
Scrum
Waterfall
Apply
Mailroom 1 day ago
In office • Full-Time • Budapest
Apply
See all jobs
This is one of many
736,331 more open roles from verified company boards, updated every day.