At a Glance
- Tasks: Build innovative property-based testing libraries and tackle software reliability challenges.
- Company: Join Antithesis, a cutting-edge tech company redefining software reliability.
- Benefits: Competitive salary, collaborative culture, and opportunities for professional growth.
- Other info: Dynamic team environment with diverse backgrounds and strong engineering standards.
- Why this job: Make a real impact on software reliability using AI and advanced testing techniques.
- Qualifications: Experience with property-based testing and proficiency in at least one programming language.
The predicted salary is between 60000 - 80000 £ per year.
About Antithesis
We've been quietly reinventing how the world thinks about software reliability, and we're just getting started! At Antithesis, we start at the foundations – we run entire software systems inside a deterministic simulation and break them in every way imaginable. Every issue then comes with a perfect reproduction, so you can identify root causes fast instead of spending days trying to recreate what went wrong.
The rise of AI-generated code has made this work more urgent than ever. Agents can write code faster than any human, but speed doesn't matter much when the output is buggy, stuck in review, or slipping through undetected. The verification bottleneck is real, it's growing, and solving it is one of the most consequential problems in software right now. That's what you'd be working on.
We're well-funded and deeply technical, the kind of place where the hardest problems get the most attention and the best ideas win regardless of who has them. If you want to do work that actually moves the needle on how reliable software can be, keep reading.
About the Role:
This role, on a team based in London, is responsible for building out Hegel, our new family of property-based testing libraries. We are building open source libraries to provide top quality property-based testing in every language, both for the benefit of the community at large, and because it provides a natural on-ramp for potential customers to test their software in Antithesis.
Must have for this role:
- Experience using property-based testing (PBT). Experience with Hypothesis would be slightly preferred but experience with any other PBT library is fine too.
- We lean heavily on AI assistance in developing Hegel, with a lot of human review and care to maintain quality. You don’t need to have any experience with such workflows, but you should be comfortable with the idea of using them.
Nice to haves:
- Familiarity with at least one, ideally both, of Python and Rust.
- Willingness to work in a variety of languages.
- Expert-level in at least one language that you would be keen to be “tastemaker” for a Hegel implementation.
- Having maintained an active open source library is a strong plus.
The Tech:
You can see most of the tech in question on GitHub. It is Python, and hegel-rust is our most mature client library. We also have Go, TypeScript, C++, and OCaml (some not yet public). We’re not immediately planning to support more, but if there’s some language you’d be keen to add support for feel free to let us know. We are heavy Claude Code users. Antithesis more broadly are heavy Nix users, and it would be a plus to be familiar with that, but because Hegel integrates with existing language package managers we are not actually heavy users of it on this team in particular.
The Culture:
Our team is composed of people with a variety of backgrounds: standard engineering degrees to philosophy degrees; big-tech backgrounds to scrappy startups. But we have at least one common skill: everyone on the team, including managers, is held to the same high standard of engineering competency. In addition, we value in-person work for its value in building trust and sharing knowledge and mentoring each other.
Note: This is a 5 days a week in-office job in London, UK.
Senior/Staff Engineer - Hegel in London employer: Antithesis
At Antithesis, we pride ourselves on being an exceptional employer that fosters a culture of innovation and collaboration. Our London-based team thrives on tackling complex software reliability challenges while enjoying a supportive environment that encourages personal and professional growth. With a commitment to high engineering standards and the opportunity to work with cutting-edge technology, we offer a unique chance to make a meaningful impact in the world of software development.
StudySmarter Expert Advice🤫
We think this is how you could land Senior/Staff Engineer - Hegel in London
✨Tip Number 1
Get to know the company inside out! Research Antithesis and their work on software reliability. This will help you tailor your conversations and show that you're genuinely interested in what they do.
✨Tip Number 2
Network like a pro! Connect with current employees on LinkedIn or attend industry meetups. Building relationships can give you insider info and might even lead to a referral, which is always a bonus!
✨Tip Number 3
Prepare for technical interviews by brushing up on property-based testing and the languages mentioned in the job description. Practise coding challenges and be ready to discuss your past projects and how they relate to Hegel.
✨Tip Number 4
Don’t forget to apply through our website! It’s the best way to ensure your application gets seen. Plus, it shows you’re serious about joining the team at Antithesis.
We think you need these skills to ace Senior/Staff Engineer - Hegel in London
Some tips for your application 🫡
Show Your Passion for PBT:When you're writing your application, make sure to highlight your experience with property-based testing. We want to see your enthusiasm for it and how you've used it in past projects. If you've worked with Hypothesis or any other PBT library, let us know!
Be Yourself:We love a diverse team, so don’t be afraid to show your unique background and experiences. Whether you come from a big tech company or a scrappy startup, share what makes you, you! Authenticity goes a long way in our eyes.
Tailor Your Application:Make sure to tailor your application to the role. Mention specific technologies and languages you’re comfortable with, especially Python and Rust. We want to know how your skills align with what we’re building at Antithesis.
Apply Through Our Website:We encourage you to apply through our website for a smoother process. It helps us keep track of applications better and ensures you don’t miss out on any important updates. Plus, it’s super easy!
How to prepare for a job interview at Antithesis
✨Know Your PBT Inside Out
Make sure you brush up on property-based testing (PBT) concepts and libraries, especially Hypothesis. Be ready to discuss your experiences with PBT in detail, as this will show your depth of knowledge and how you can contribute to building Hegel.
✨Show Off Your Coding Skills
Since the role involves working with languages like Python and Rust, be prepared to demonstrate your coding skills. You might be asked to solve a problem or explain your thought process while coding, so practice coding challenges beforehand to keep your skills sharp.
✨Familiarise Yourself with Antithesis
Do your homework on Antithesis and its mission to improve software reliability. Understanding their approach to deterministic simulations and AI-generated code will help you align your answers with their goals during the interview.
✨Emphasise Collaboration and Culture Fit
Antithesis values a diverse team and in-person collaboration, so highlight your teamwork experiences and how you’ve thrived in different environments. Share examples of how you've mentored others or learned from peers to showcase your fit within their culture.
