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 (P3)
Team Description
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.
Your Qualifications
- 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.
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 you’re a software engineer who enjoys thinking deeply about system behaviour, values precision, and is eager to learn new approaches to building reliable software, we’d love to hear from you—whether or not you’ve worked with formal methods before.
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
Software Engineer (Rust)
Senior Security Engineer
Senior Product Marketing Manager - Platform
Similar Jobs
Backend Engineer (Scala)
Senior Software Engineer, Backend (Scala, Java) (Enterprise Platforms Technology)
Principal Associate, Software Engineer
Senior Software Engineer, Full-Stack
Senior Manager, Software Development Engineering
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
