At a Glance
- Tasks: Build innovative property-based testing libraries to enhance software reliability.
- 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 mentorship.
- Why this job: Make a real impact on software reliability using the latest technologies.
- Qualifications: Experience with property-based testing and proficiency in at least one programming language.
The predicted salary is between 60000 - 80000 £ per year.
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.
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.
- Comfortable with the idea of using AI assistance in developing Hegel, with a lot of human review and care to maintain quality.
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. hegel-core 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 Software Engineer 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 in a dynamic environment where diverse backgrounds come together to tackle the most pressing challenges in software reliability. With a strong emphasis on professional growth, mentorship, and the opportunity to work on cutting-edge technology, we empower our employees to make a meaningful impact while enjoying the benefits of a supportive and engaging workplace.
StudySmarter Expert Advice🤫
We think this is how you could land Senior Software Engineer
✨Tip Number 1
Get your networking game on! Reach out to current employees at Antithesis on LinkedIn or other platforms. A friendly chat can give you insider info and might just get your foot in the door.
✨Tip Number 2
Show off your skills! If you've got a GitHub profile, make sure it’s up to date with your best projects, especially any open-source contributions. This is your chance to demonstrate your expertise in property-based testing and coding languages.
✨Tip Number 3
Prepare for the interview like it’s a coding challenge! Brush up on your knowledge of property-based testing and be ready to discuss how you’d tackle real-world problems. Antithesis loves problem solvers, so show them what you’ve got!
✨Tip Number 4
Don’t forget to apply through our website! It’s the best way to ensure your application gets seen by the right people. Plus, it shows you’re serious about joining the team at Antithesis.
We think you need these skills to ace Senior Software Engineer
Some tips for your application 🫡
Show Your Passion for Software Reliability:When you're writing your application, let us see your enthusiasm for software reliability. Share any personal projects or experiences that highlight your commitment to improving software quality. We love seeing candidates who are genuinely excited about the work we do!
Tailor Your Application:Make sure to customise your application to reflect the specific skills and experiences mentioned in the job description. Highlight your experience with property-based testing and any relevant languages like Python or Rust. This helps us see how you fit into our team right from the start.
Be Clear and Concise:Keep your application straightforward and to the point. We appreciate clarity, so avoid jargon and focus on what makes you a great fit for the role. A well-structured application makes it easier for us to understand your qualifications and motivations.
Apply Through Our Website:We encourage you to apply directly through our website. It’s the best way for us to receive your application and ensures you’re considered for the role. Plus, it shows us that you’re serious about joining our team at Antithesis!
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 if you can. Be ready to discuss your experience with PBT in detail, including any challenges you've faced and how you overcame them. This will show that you're not just familiar with the theory but have practical insights too.
✨Show Off Your Coding Skills
Since the role involves working with Python and Rust, be prepared to demonstrate your coding skills. Bring examples of your previous work, especially any open-source contributions. If you've maintained a library, talk about it! This will highlight your expertise and passion for software development.
✨Embrace AI in Development
Antithesis leans heavily on AI assistance, so express your comfort with using AI tools in your workflow. Share any experiences you have with AI in coding or testing, and be open to discussing how you think AI can enhance software reliability. This shows you're aligned with their innovative approach.
✨Cultural Fit is Key
The team values diverse backgrounds and high engineering standards. Be yourself and share your unique journey, whether it's from big tech or a scrappy startup. Highlight your collaborative spirit and willingness to mentor others, as this aligns with their culture of trust and knowledge sharing.
