Reasonable is seeking Student Researchers to join our industry-leading team for a 12–24 week program, contributing to formally-grounded software development and frontier model evaluations. You will run experiments, collaborate with senior researchers, and participate in high-level conversations in a fast-paced research setting.
We welcome PhD students in Formal Verification and ML or outstanding undergraduates with competitive programming and mathematics backgrounds.
Student Researcher: ML & Formal Verification Intern employer: Reasonable AI
At Reasonable, we pride ourselves on being an exceptional employer, offering a unique opportunity to work at the forefront of AI research and software development. Our compact, talent-dense team fosters a collaborative and innovative work culture, where adaptability is key and every team member's strengths are valued. With generous compensation, equity options, and the chance to build alongside industry-leading founders in vibrant locations like Budapest and London, we provide a meaningful environment for professional growth and impactful contributions.
