At Anaplan we have an enormously powerful platform that enables users to collaboratively build models of their businesses. From budgeting and forecasting to supply planning and strategic policy management, the range of problems to which the Anaplan platform provides a connected planning solution is large and always growing.
As you might expect, at the core of this platform is a complex, conceptual model. When we make changes to our software, we need to be sure that we understand the impact of those changes and be able to verify that the changes made to the code match the changes we conceived in our conceptual model.
In software engineering generally, this sort of understanding and verification is often achieved using automated tests, but the sheer range and complexity of potential models that can be built with the Anaplan platform mean that this form of testing is not sufficient. To enable us to go beyond the standard testing paradigm, we produce a mathematical description of our conceptual model and use techniques known as formal methods to rigorously validate our requirements and verify our code.
The system specification team is responsible for creating this mathematical description and creating the tools that leverage it to give the highest degree of confidence in the software we release. We have recently recruited some Analysts to focus on the specification - now we're looking for Engineers to help create the verification tooling!
Essentially this tooling:
- Generates scenarios.
- Executes the scenarios against an implementation.
- Verifies that the results satisfy the specification.
This might sound simple, but the devil is in the detail:
- How do you go beyond random generation to creating scenarios that mimic likely user behaviour?
- How do you know when you have done enough?
- How do you scale this up so that you can get high confidence quickly, but without spending a fortune on compute resources?
- How do you ensure that you're not duplicating effort?
This is not a standard Engineering job - you need to fully understand the system you're building and the system you're verifying. It's necessary to be able to intelligently use the specification to drive the verification process and the focus will be as much on designing the tooling as coding it.
As this is an Engineering role, we know you'll be looking for a bullet list of technical skills. We won't disappoint, but we can't emphasise enough that what we're looking for is someone with the enthusiasm and skills to imaginatively tackle the problems described above.
So, on to that list, experience of any or all, the below is an advantage:
- JVM languages-Kotlin, Java, Groovy
- Functional programming paradigms and principles
- Formal specification/verification-specifically VDM and Overture
- Property-based testing
- Cloud technologies-GCP, AWS, K8s etc.
- Functional coverage analysis
- Related engineering tools-GitHub, Gradle, Artifactory, etc.
If you also have some familiarity with predicate logic and set theory then that is a big bonus, but these systems are quite easily learnt by someone with an engineering background.
This truly is a unique opportunity to elevate your skills and get involved with the design and verification of one of the most exciting products coming out of Silicon Valley-right here in Yorkshire.What we Offer:
Our diversity and inclusion commitment
- A rewarding, progressive career with a company that values diversity, flexibility and understands the need for a good work/life balance.
- Market-leading salaries combined with generous bonuses, equity and a range of comprehensive benefits.
- A range of sports, health and wellbeing initiatives
- 3 days of additional paid leave every year to support the charity or cause of your choice.
- Huge problems to solve - you will constantly be learning and pushing boundaries, working with some of the smartest people around!
Build your job in a place that thrives on diversity, inclusion and belonging. We believe in maintaining a hiring and working experience in which 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 true self to work every day!Our story
Anaplan is a cloud-native enterprise SaaS company helping global enterprises orchestrate business performance. Our customers come first to create heroes, unlock potential & build trust and confidence. We challenge legacy thinking and software that isn't flexible for the modern organization. We have architected the only platform that will take the time from planning to decision down to zero.
We're building a truly unique technology. From our calculation engine and in-memory data store, to apps and predictive analytics; amazing technology is being developed every day.
We're addressing a $100B/year problem that all global businesses face. Our mission is to break the traditional business planning mold, currently performed through spreadsheets or legacy systems.
Anaplan's Connected Planning platform is enabling customers to improve decision-making by turning response time into real time, to make better decisions to enhance your business. The platform helps you dynamically orchestrate performance enterprise-wide, and convert constant change to your environment.
See what our global customers and partners have to say about Anaplan's platform is solving some of the most complex challenges in business. CEOs, analysts, and the press agree-Anaplan is changing the way the world does business. Learn about our history, see our recognitions and achievements, and take a look at what it's like to work at Anaplan. Get to know more about working at Anaplan by checking out our social channels.Facebook | Twitter | Instagram | YouTube
Can't find the perfect role for you? New opportunities are opening up daily: http://anaplan.com/CAREERS COVID-19 Update
Protecting the health and safety of our communities, including our employees and of those considering a career at Anaplan, is our highest priority. We continue to closely monitor the evolving situation and we appreciate your understanding and flexibility with any related changes to our interviewing process.