Student Researcher Program
Reasonable AI · Posted Nov 9, 2026
- Budapest, Budapest, Hungary
- On-site
- Internship · Intern
- Generous compensation
Student Researcher Program at Reasonable
Responsibilities
- Take on a focused research project that connects to Reasonable's core work in machine learning and formal verification
- Run real experiments that produce results worth publishing or open-sourcing
- Work alongside Ferenc and the wider team of MTS in mutual exchange
- Be in the room for technical conversations that go beyond your project
- Work on-site, alongside Ferenc and the founding technical team in Budapest
Requirements
- PhD in Computer Science
- PhD in Applied Mathematics
- Nice to have: Published at NeurIPS, ICML, ICLR, POPL, PLDI, CAV
- Nice to have: Open-source contributions in Lean, Dafny, Verus