System Specification and Verification Principal Engineer

System Specification and Verification Principal Engineer

Manchester, 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, Linked In, 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 celebrating our 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 Engineer
to drive and apply formal methods and scalable verification frameworks to verify a complex, mission-critical system. This role sits within our System Specification
team, which designs specification languages, writes rigorous system specifications, and builds verification frameworks that operate at scale in the cloud.

The ideal candidate has a strong academic foundation in computer science
coupled with pragmatism
—able to bring rigorous correctness methods into real-world, large-scale systems. They should be passionate about software correctness over delivery speed
, with an interest in the theoretical aspects of computing
and the ability to make formal methods practical and scalable
.

• Work closely with engineering and product teams to codify design decisions
  into executable criteria.
• Advocate for correctness-first
  approaches and foster a culture where quality is paramount.
• Develop verification frameworks
  and DSLs that integrate formal specifications with automated testing and cloud-based scalable execution.
• Define and write rigorous system specifications
  , ensuring correctness and precision in critical system behaviours.
• Mentor and guide engineers in formal methods, language design, and scalable verification
  .
• Communicate complex technical concepts clearly and effectively to team members and stakeholders.

• 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 of requirements engineering
  and systems design
  for large scale/complex systems.
• Strong background in domain modelling
  and language design
  —experience designing and implementing DSLs
  or 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 or Property Based Testing
  . Understanding of Behaviour 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

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…