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 who’s 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, you’ll 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
We are seeking a Software Engineer to contribute to the development of scalable verification frameworks and formal methods for a complex, mission-critical system. This role sits within our System Specification team, which builds verification frameworks that operate at scale in the cloud and designs specification languages, writes rigorous system specifications.
The ideal candidate has a strong foundation in computer science and a keen interest in software correctness, language design, and building robust systems. While deep expertise in formal methods isn’t required, we’re looking for someone who is curious, analytical, and eager to apply rigorous thinking and well-founded methods to real-world engineering challenges.
Key Responsibilities
- Contribute to the development of verification frameworks and DSLs, integrating formal specifications with automated testing and scalable execution.
- Work closely with engineering and product teams to help codify design decisions into executable criteria.
- Assist in writing and refining system specifications, ensuring correctness and precision in critical system behaviours.
- Apply formal methods and automated verification techniques to software components, with guidance from senior engineers.
- Engage in code reviews and knowledge-sharing sessions to learn and contribute to best practices in correctness-driven engineering.
- Communicate technical concepts clearly and effectively within the team and to stakeholders.
Required Competencies
- Professional Experience: Experience as an individual contributor in software development, verification, or systems engineering.
- Programming Skills: Experience with JVM-based languages (Java, Kotlin, Scala) and familiarity with both object-oriented and functional programming paradigms.
- System Design: Experience to systems design for components of complex software projects.
- Testing & Verification: Some experience with automated testing techniques (e.g., Property-Based Testing, Behaviour-Driven Development) and an interest in software correctness methodologies.
- Communication Skills: Ability to clearly explain technical challenges and solutions in both written and verbal form, ensuring alignment and shared understanding.
Desirable Competencies
- Exposure to domain modelling 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 rigour.
Personal Characteristics
- Correctness-focused mindset – values rigour and precision in software design.
- Curious and intellectually rigorous, with a drive to push the boundaries of software correctness.
- Academic excellence with practical thinking – comfortable engaging with theoretical concepts but pragmatic in applying them to real-world problems.
- Self-directed — able to convert abstract instructions and deliver comprehensive, concrete solutions.
- Collaborative and eager to grow – thrives in a team environment and enjoys exchanging ideas with others.
Our Commitment to Diversity, Equity, Inclusion and 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.
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 people@anaplan.com before taking any further action in relation to the correspondence.
Other Jobs from Anaplan
Senior Software Engineer
Similar Jobs
Staff Back-end Engineer - Ads Measurement (Seattle or Mountain View)
Senior AI Agent Engineer
Software AI Agent Engineer
Java Developer
Software Development Engineer
Data Engineer, FinTech International Tax Compliance
There are more than 50,000 engineering jobs:
Subscribe to membership and unlock all jobs
Engineering Jobs
60,000+ jobs from 4,500+ well-funded companies
Updated Daily
New jobs are added every day as companies post them
Refined Search
Use filters like skill, location, etc to narrow results
Become a member
🥳🥳🥳 452 happy customers and counting...
Overall, over 80% of customers chose to renew their subscriptions after the initial sign-up.
To try it out
For active job seekers
For those who are passive looking
Cancel anytime
Frequently Asked Questions
- We prioritize job seekers as our customers, unlike bigger job sites, by charging a small fee to provide them with curated access to the best companies and up-to-date jobs. This focus allows us to deliver a more personalized and effective job search experience.
- We've got about 70,000 jobs from 5,000 vetted companies. No fake or sleazy jobs here!
- We aggregate jobs from 5,000+ companies' career pages, so you can be sure that you're getting the most up-to-date and relevant jobs.
- We're the only job board *for* software engineers, *by* software engineers… in case you needed a reminder! We add thousands of new jobs daily and offer powerful search filters just for you. 🛠️
- Every single hour! We add 2,000-3,000 new jobs daily, so you'll always have fresh opportunities. 🚀
- Typically, job searches take 3-6 months. EchoJobs helps you spend more time applying and less time hunting. 🎯
- Check daily! We're always updating with new jobs. Set up job alerts for even quicker access. 📅
What Fellow Engineers Say
