At a Glance
- Tasks: Design and enhance our fine-tuning pipeline for AI software verification.
- Company: Join Reasonable, a pioneering AI research company focused on formal verification.
- Benefits: Generous salary, equity, and flexible work options in Budapest or London.
- Other info: Collaborate with top experts and enjoy excellent career growth opportunities.
- Why this job: Be part of a world-class team shaping the future of AI and software engineering.
- Qualifications: Solid Python skills, experience in AI/ML, and familiarity with reinforcement learning.
The predicted salary is between 59400 - 72600 £ per year.
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 develop the next frontier of formal reasoning and software engineering. Proof follows function.
We are seeking a highly motivated and skilled Member of Technical Staff specialized in Post-Training and Evaluations to join our Reinforcement Learning & Formal Methods team. The successful candidate will play a key role in advancing verifiable reasoning by designing and improving our fine-tuning pipeline.
- Design and improve our SFT and RL training and evaluation pipeline for formal verification of software.
- Collaborate with formal verification experts and AI researchers to integrate RL techniques with formal methods.
- Track latest work in RL, post-training, formal verification, and bring the best ideas into our training and eval stack.
Must have skills:
- Solid Python - PyTorch knowledge (or other frameworks) and debugging skills, familiarity with distributed training, and inference - serving engines, such as vLLM.
- Hands‑on experience fine‑tuning LLMs, including at least one RL method such as GRPO or PPO.
- Experience with GPU cluster usage.
- 2+ years of industry experience in AI/ML role.
Nice to have skills:
- Proven track record of high-quality software contributions.
- PhD in Machine Learning, Computer Science, or related field.
- Capability to fast learning and adaption of formal verification related technologies and ideas.
Compensation: Generous salary, with equity and additional benefits
Location: Budapest- Hungary or London-UK with flexibility for team and conference travel
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.
Member of Technical Staff- Post-training & evals (ML) 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.
StudySmarter Expert Advice🤫
We think this is how you could land Member of Technical Staff- Post-training & evals (ML)
✨Join Local Tech Meetups
Get out there and mingle with fellow developers by joining local tech meetups. It’s a fantastic way to meet people who might be working at Reasonable AI or know someone who does. Plus, you can pick up some trendy tech skills and trends while you're at it!
✨Contribute to Open Source Projects
Show off your coding chops by jumping into open-source projects. Not only does this give you practical experience, but it also gets you noticed in the dev community. You'll create a killer portfolio that speaks volumes about your skills to Reasonable AI.
✨Tap into Online Developer Communities
Don’t underestimate the power of online developer communities like GitHub, Stack Overflow, and even Reddit. Participate in discussions, share your projects, and build your visibility. We can often find opportunities through these channels that can lead to a full-time gig at companies like Reasonable AI.
✨Explore Job Boards Specifically for Tech Roles
Keep your eyes peeled on job boards that focus on tech roles. Sites like TechCareers or Stack Overflow Jobs can often have listings for companies like Reasonable AI that might not show up on broader job sites. Make it a habit to check these regularly, and don’t hesitate to apply directly through our website!
We think you need these skills to ace Member of Technical Staff- Post-training & evals (ML)
Some tips for your application 🫡
Show off your coding skills:When applying for a software engineering role, it's super important to showcase your coding skills. Make sure your CV includes your tech stack, any relevant programming languages you’re comfortable with, and examples of projects you've worked on. If you have a GitHub profile, link it up! We love to see code in action.
Tailor your portfolio:For a full-time role, we’d expect to see some solid examples of your work in your portfolio. Make sure to include at least two or three projects that highlight your problem-solving skills and your ability to work with different technologies. Focus on the projects that are most relevant to the position at Reasonable AI.
Craft a killer cover letter:Your cover letter is your chance to stand out—make it personal! Explain why you want to work at Reasonable AI and how your skills align with the role. Show us your passion for software development. We dig enthusiastic candidates who understand the value of collaboration and continuous learning!
Be clear and concise:When it comes to writing your CV and cover letter, clarity is key. Avoid jargon that could confuse us and stick to simple, direct language. Highlight your achievements with quantifiable results where possible, and keep everything easy to read. A well-organised application goes a long way!
How to prepare for a job interview at Reasonable AI
✨Brush Up on Your Coding Skills
For a full-time software engineering role, it's crucial that we stay sharp with our coding abilities. Expect technical questions that might involve solving problems on the spot or discussing algorithms. Practise on platforms like LeetCode or HackerRank to get comfortable with the types of questions that often come up.
✨Know Your Tools and Frameworks
Make sure we’re well-acquainted with the tools and technologies listed in the job description. Familiarise ourselves with any specific frameworks or programming languages mentioned. If Reasonable AI uses React or Node.js, for instance, be ready to discuss how we’ve used them in previous projects or coursework.
✨Showcase Your Projects
Bring along a portfolio that highlights our best work. This could be code samples, GitHub repositories, or any side projects we’ve built. Make sure we can talk through our thought process for each project, especially the challenges we faced and how we solved them—this shows our problem-solving skills in action.
✨Prepare for Behavioural Questions
While technical skills are key, full-time positions also require cultural fit. Be ready to discuss our previous experiences and how we handle teamwork, conflict, and deadlines. Brush up on the STAR method—Situation, Task, Action, Result—to clearly articulate our past experiences when discussing how we've contributed to a team.
