Our System Specification team is responsible for developing scalable verification frameworks and formal methods for a complex, mission-critical system. The team designs specification languages, writes rigorous system specifications, and integrates them with automated verification and testing solutions. This role reports to the Lead System Engineer and collaborates closely with product and engineering teams to ensure system correctness and reliability.
Your Impact

Contribute to the development of verification frameworks and domain-specific languages (DSLs), integrating formal specifications with automated testing.
Work collaboratively with engineering and product teams to translate design decisions into executable criteria.
Assist in writing and refining system specifications to ensure correctness and precision in critical system behaviours.
Apply formal methods and automated verification techniques to software components with guidance from senior engineers.
Participate in code reviews and knowledge-sharing sessions to foster best practices in correctness-driven engineering.
Clearly and effectively communicate technical concepts within the team and to stakeholders., This role offers a rare chance to tackle complex software challenges while expanding your expertise in software correctness, formal methods, and large-scale verification. If youre a software engineer who enjoys thinking deeply about system behaviour, values precision, and is eager to learn new approaches to building reliable software, wed love to hear from youwhether or not youve worked with formal methods before.Our Commitment to Diversity, Equity, Inclusionand Belonging
Build your career in a place that thrives on diversity, equity, inclusion, and belonging. 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.
Anaplan does not:

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.

Experience working as an individual contributor in software development, verification, or systems engineering.
Proficiency in JVM-based languages (Java, Kotlin, Scala) with familiarity in both object-oriented and functional programming paradigms.
Experience in system design for components of complex software projects.
Some experience with automated testing techniques such as Property-Based Testing or Behaviour-Driven Development.
Strong communication skills with the ability to articulate technical challenges and solutions effectively.

Preferred Skills

Exposure to domain modeling and language design (e.g., DSLs, specification languages).
Interest in formal specification methods such as VDM, B, or Z.
Knowledge of advanced mathematical concepts (e.g., set theory, first-order predicate logic, lambda calculus).
Experience with cloud platforms (AWS, GCP) or build tools (Gradle, Maven).
Familiarity with Agile development methodologies, balancing iteration speed with software rigor.

At Anaplan, we are a team of innovators who are focused on optimizing business decision-making through our leading 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 whos who in the Fortune 50. Coca-Cola, LinkedIn, Adobe, LVMH and Bayer are just a few of the 2,400+ global companies that 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 have fun celebrating our wins.
Supported by operating principles of being strategy-led, values-based and disciplined in execution, youll be inspired, connected, developed and rewarded here. Everything that makes you unique is welcome; join us and be your best self!System Specification and Verification Engineer (P3)