System Specification and Verification Principal Engineer

Anaplan; City Of London; On-site; GBP 80,000 - 120,000; Full time

Job summary

A leading technology firm in London is looking for a Principal Software Engineer. This role involves applying formal methods for the verification of complex systems. The ideal candidate should have a strong foundation in computer science and be passionate about software correctness. Responsibilities include developing verification frameworks and mentoring engineers. The company values diversity and fosters an inclusive culture, making it a fantastic place to work.

Benefits

Diversity and inclusion initiatives

Opportunities for professional development

Qualifications

• Professional experience in developing and testing large-scale software systems.
• Understanding of requirements engineering and systems design.
• Experience with Property Based Testing and Behaviour Driven Development.

Responsibilities

• Drive and apply formal methods to verify complex systems.
• Advocate for correctness-first approaches to improve quality.
• Develop verification frameworks that integrate formal specifications.

Skills

Formal methods

Software correctness

Domain modeling

Language design

Functional programming

Education

Strong academic foundation in computer science

Tools

DSLs

JVM languages

Automated testing tools

Job description

System Specification and Verification Principal Engineer

London, United Kingdom

At Anaplan, we are a team of innovators focused on optimizing business decision-making through our leading AI-infused scenario planning and analysis platform so our customers can outpace their competition and the market.

What unites Anaplanners across teams and geographies is our collective commitment to our customers’ success and to our Winning Culture.

Our customers rank among the who’s who in the Fortune 50. Coca-Cola, LinkedIn, Adobe, LVMH and Bayer are just a few of the 2,400+ global companies who rely on our best-in-class platform.

Our Winning Culture is the engine that drives our teams of innovators. We champion diversity of thought and ideas, we behave like leaders regardless of title, we are committed to achieving ambitious goals, and we love celebratingour wins – big and small.

Supported by operating principles of being strategy-led, values -based and disciplined in execution, you’ll be inspired, connected, developed and rewarded here. Everything that makes you unique is welcome; join us and let’s build what’s next - together!

We are seeking a Principal Software Engineerto drive and apply formal methods and scalable verification frameworks to verify a complex, mission-critical system. This role sits within our System Specificationteam, which designs specification languages, writes rigorous system specifications, and builds verification frameworks that operate at scale in the cloud.

The ideal candidate has astrong academic foundation in computer sciencecoupled with pragmatism—able to bring rigorous correctness methods into real-world, large-scale systems. They should be passionate aboutsoftware correctness over delivery speed, with an interest in thetheoretical aspects of computingand the ability to makeformal methods practical and scalable.

Your Impact

• Work closely with engineering and product teams tocodify design decisionsinto executable criteria.
• Advocate forcorrectness-firstapproaches and foster a culture where quality is paramount.
• Developverification frameworksand DSLs that integrate formal specifications with automated testing and cloud-based scalable execution.
• Define and writerigorous system specifications, ensuring correctness and precision in critical system behaviours.
• Mentor and guide engineers informal methods, language design, and scalable verification.
• Communicate complex technical concepts clearly and effectively to team members and stakeholders.

Your Qualifications

• Professional Experience: as an individual contributor and some experience as technical lead in the development and testing of large-scale, complex software systems.
• Solid grasp ofrequirements engineeringandsystems designfor large scale/complex systems.
• Strong background indomain modellingandlanguage design—experience designing and implementingDSLsor specification languages.
• Strong experience of languages and underpinnings of the JVM and strong functional programming skills.
• Testing: Experience with the automation of automated testing. For example, scenario generation orProperty Based Testing. Understanding ofBehaviour Driven Development
• Mentoring & Knowledge Sharing:Ability to mentor and support team members by providing technical guidance, fostering best practices, and promoting a culture of learning. Capable of onboarding new engineers, conducting code reviews, and facilitating knowledge transfer to strengthen the team’s expertise.
• Experience in writing compilers, creating DSLs and DSL adapters
• Formal methodologies such as VDM, B, or Z.
• Advanced Mathematics/Set theory, first order predicate logic, higher order functions and lambda calculus

DEIB Commitment

We believe attracting and retaining the best talent and fostering an inclusive culture strengthens our business. DEIB improves our workforce, enhances trust with our partners and customers, and drives business success. Build your career in a place where diversity, equity, inclusion and belonging aren’t just words on paper – this is what drives our innovation, it’s how we connect, and it contributes to what makes us a market leader. We believe in a hiring and working environment where all people are respected and valued, regardless of gender identity or expression, sexual orientation, religion, ethnicity, age, neurodiversity, disability status, citizenship, or any other aspect which makes people unique. We hire you for who you are, and we want you to bring your authentic self to work every day!

We will ensure that individuals with disabilities are provided reasonable accommodation to participate in the job application or interview process, perform essential job functions, and receive equitable benefits and all privileges of employment. Please contact us to request accommodation.

Fraud Recruitment Disclaimer

It has come to our attention that fraudulent and fictitious job opportunities are being circulated on the Internet. Prospective candidates are being contacted by certain individuals, mainly through telephone calls, emails and correspondence, claiming they are representatives of Anaplan. The main purpose of these correspondences and announcements is to obtain privileged information from individuals.

• Extend offers to candidates without an extensive interview process with a member of our recruitment team and a hiring manager via video or in person.
• Send job offers via email. All offers are first extended verbally by a member of our internal recruitment team whenever possible and then followed up via written communication.

All emails from Anaplan would come from an @anaplan.com email address. Should you have any doubts about the authenticity of an email, letter or telephone communication purportedly from, for, or on behalf of Anaplan, please send an email to [e-mail] before taking any further action in relation to the correspondence.