Reasonable is seeking a Student Researcher to join their team in Budapest, Hungary. This role involves contributing to projects in formally-grounded software development, focusing on machine learning and formal verification. The student will conduct independent research, run experiments, and collaborate with a team of experts. The program lasts between 12-24 weeks.
Every query opens live roles, salary samples, and market demand — tap a search to run it instantly.
Unlock powerful job search, personalized recommendations, and deep career insights from comprehensive, market-leading data and live market signals.
For job seekers
Upload your résumé, start a Job Search Thread, and let Metaintro rank real openings against your experience — then guide you from search to offer.
Match
Compare live roles against your current evidence.
Position
Turn proof projects into role-specific applications.
Improve
Use market feedback to keep the skill plan current.
formal verification
Reasonable is building the verification layer for mission-critical software development, including the systems the internet runs on. It builds tooling, trains models, and develops agentic frameworks to make formal correctness guarantees accessible to software engineers. Its team is compact and talent-dense, with expertise in machine learning, formal verification, and mathematical models of program semantics.