At a Glance
- Tasks: Build innovative property-based testing libraries and tackle software reliability challenges.
- Company: Join a cutting-edge tech company redefining software reliability with a collaborative culture.
- Benefits: Competitive salary, health benefits, 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 while working with advanced technologies.
- Qualifications: Experience in 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 have
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 employer: Antithesis
At Antithesis, we pride ourselves on being at the forefront of software reliability, offering a dynamic work environment in London where innovation thrives. Our culture fosters collaboration and mentorship among a diverse team, ensuring that every voice is heard and valued. With a strong emphasis on employee growth and the opportunity to tackle some of the most pressing challenges in software today, we provide a rewarding experience for those looking to make a significant impact in the tech industry.
StudySmarter Expert Advice🤫
We think this is how you could land Senior/Staff Engineer - Hegel
✨Tip Number 1
Network like a pro! Reach out to folks in the industry, especially those at Antithesis. A friendly chat can go a long way in getting your foot in the door. Plus, who knows? They might just drop your name when it comes to hiring!
✨Tip Number 2
Show off your skills! If you’ve got experience with property-based testing or have contributed to open source projects, make sure to highlight that in conversations. Bring examples of your work to discuss during interviews – it’ll show you mean business!
✨Tip Number 3
Be ready to chat about AI! Since Antithesis leans on AI assistance, brush up on how you’ve used AI in your projects. It’s a hot topic and showing you’re comfortable with it could give you an edge.
✨Tip Number 4
Apply through our website! We love seeing applications come directly from interested candidates. It shows initiative and gives us a chance to see your enthusiasm for the role right from the start.
We think you need these skills to ace Senior/Staff Engineer - Hegel
Some tips for your application 🫡
Show Your Passion for PBT:When you write your application, make sure to highlight your experience with property-based testing. We want to see your enthusiasm for the subject and any specific libraries you've worked with, especially Hypothesis!
Tailor Your Application:Don’t just send a generic CV! Tailor your application to reflect how your skills and experiences align with our mission at Antithesis. We love seeing candidates who understand our focus on software reliability.
Be Yourself:We value diverse backgrounds and perspectives, so let your personality shine through in your application. Share your unique journey and what drives you to work in this field!
Apply Through Our Website:Make sure to apply through our website for the best chance of getting noticed. It helps us keep track of applications and ensures you’re considered for the role you’re excited about!
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 experience with PBT in detail, including any challenges you've faced and how you overcame them.
✨Show Off Your Coding Skills
Since the role involves working with Python and Rust, be prepared to demonstrate your expertise in at least one of these languages. Bring examples of your previous work or open-source contributions that showcase your coding abilities and problem-solving skills.
✨Embrace AI Workflows
Antithesis values the use of AI in development, so show your comfort with AI-assisted workflows. Discuss any experiences you have with AI tools in coding or testing, and how they’ve improved your workflow or project outcomes.
✨Cultural Fit is Key
The team values diverse backgrounds and high engineering standards. Be ready to share your unique journey and how it aligns with their culture. Highlight your collaborative spirit and willingness to mentor or learn from others in the team.
