Senior/Staff Engineer - Hegel

Senior/Staff Engineer - Hegel

Full-Time 60000 - 80000 £ / year (est.) No working from home possible
A

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

Antithesis is an exceptional employer that fosters a dynamic and collaborative work culture in the heart of London. With a strong focus on employee growth, we offer comprehensive training and development opportunities, ensuring our team members thrive in their careers. Join us to be part of a forward-thinking company that values innovation and teamwork, making a meaningful impact in the B2B SaaS landscape.

A

Contact Details:

Antithesis Recruitment Team

StudySmarter Expert Advice🤫

We think this is how you could land Senior/Staff Engineer - Hegel

Join Local Manufacturing Groups

Getting involved in local manufacturing groups or associations can seriously boost your visibility. These groups often have insider info on job openings and networking events, plus they help you connect with like-minded folks in the industry. Check out what's happening in your area!

Show Off Your Skills in Practical Spaces

Consider participating in workshops or open days at manufacturing companies. It's a great way to show off your hands-on skills in a real-world environment and can sometimes lead to job offers right on the spot. Keep an eye on announcements from local manufacturers for these opportunities!

Leverage the Power of Internships

While you're looking for full-time positions, don't underestimate the power of internships! Even if you don't see a direct role, securing an internship at a company can open doors to future jobs. Many manufacturing firms prefer to hire from their intern pool, so it's definitely worth considering.

Apply Directly Through Company Websites

When you find a role at a company you love, like Antithesis, apply directly on their website. This way, you’re more likely to be noticed by the hiring team. Plus, showing that you took the time to seek out their application process highlights your genuine interest in the firm!

We think you need these skills to ace Senior/Staff Engineer - Hegel

Property-Based Testing (PBT)
Hypothesis
Python
Rust
Open Source Library Maintenance
AI Assistance in Development
Software Reliability

Some tips for your application 🫡

Showcase Your Technical Skills:In the manufacturing-production sector, it's crucial to highlight your technical skills and experience. Make sure your CV features any relevant qualifications, such as certifications in machinery operation or production management, and don’t forget about any specific systems or software you’re familiar with. This can really set you apart!

Emphasise Teamwork and Communication:Working in manufacturing often means being part of a larger team. Highlight your experience in collaborative projects or environments where communication was key. Maybe you have experience with lean manufacturing principles? Talk about how you worked with your team to improve productivity and maintain quality.

Tailor Your Cover Letter to the Company:Don’t just recycle an old cover letter! Take the time to tailor your cover letter to Antithesis specifically. Mention what excites you about their production processes or products, and how your previous experiences can contribute to their goals. We want to see your enthusiasm for the role!

Use Concrete Examples of Your Achievements:When detailing your work experience, include measurable achievements that can demonstrate your impact. Whether it’s improving efficiency by a certain percentage or successfully leading a project, these specifics can make a huge difference. Numbers speak volumes in the manufacturing world!

How to prepare for a job interview at Antithesis

Know Your Manufacturing Processes

Before you walk into the interview with Antithesis, brush up on the specific manufacturing processes relevant to the role. Understanding lean manufacturing principles or quality control techniques could give you a solid edge to discuss how you’d fit into their operations.

Technical Questions Are Key

Be prepared for technical questions around machinery, production scheduling, or materials handling. Make sure you can confidently explain how you've dealt with these in past experiences or internships. Knowing industry-specific software could also be a big plus!

Showcase Your Problem-Solving Skills

Manufacturing environments often focus on continuous improvement. Be ready to discuss specific instances where you’ve solved a production issue or implemented a process improvement. It’s all about demonstrating your analytical thinking and hands-on approach.

Align Your Values with Quality and Safety

In a full-time role, companies like Antithesis value commitment to quality and safety. Be prepared to discuss how you prioritise these factors in your work. It’s about showing that you’re not just looking for a job, but that you genuinely care about contributing positively to their production environment.