At a Glance
- Tasks: Build innovative property-based testing libraries and tackle real-world software reliability challenges.
- Company: Join Antithesis, a cutting-edge tech company redefining software reliability.
- Benefits: Enjoy competitive salary, health benefits, and opportunities for professional growth.
- Other info: Collaborative team culture with diverse backgrounds and strong emphasis on mentorship.
- Why this job: Make a significant 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 56700 - 69300 £ per year.
Location: London, UK
Employment Type: Full time
Location Type: On-site
Department: Engineering
About Antithesis: We have been quietly reinventing how the world thinks about software reliability. At Antithesis, we run entire software systems inside a deterministic simulation and break them in every way imaginable. Every issue comes with a perfect reproduction, allowing you to identify root causes quickly. The rise of AI-generated code has made this work more urgent than ever. Solving the verification bottleneck is one of the most consequential problems in software right now.
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, benefiting the community and providing 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 is slightly preferred, but experience with any other PBT library is acceptable.
We lean heavily on AI assistance in developing Hegel, with human review and care to maintain quality. You don’t need 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 a “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. Our most mature client library is hegel-rust. We also have Go, TypeScript, C++, and OCaml (some not yet public). We are heavy Claude Code users. Antithesis is broadly a heavy Nix user, and familiarity with that would be a plus, but because Hegel integrates with existing language package managers, we are not 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. Everyone on the team, including managers, is held to the same high standard of engineering competency. We value in-person work for its role in building trust, 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 an innovative employer that values technical excellence and employee growth. Our collaborative work culture encourages creativity and problem-solving, allowing IT Engineers to take ownership of their projects while contributing to the evolution of our cutting-edge software reliability solutions. With a focus on meaningful work and a supportive environment, you'll have the opportunity to thrive in a fast-paced setting that prioritises both personal and professional development.
StudySmarter Expert Advice🤫
We think this is how you could land Senior/Staff Engineer - Hegel
✨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 Antithesis 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 Antithesis.
✨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 Antithesis.
✨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 Antithesis 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 Senior/Staff Engineer - Hegel
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 Antithesis.
Craft a killer cover letter:Your cover letter is your chance to stand out—make it personal! Explain why you want to work at Antithesis 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 Antithesis
✨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 Antithesis 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.
