Platform Engineer
York, United Kingdom
3d ago

Platform Engineer System Specification

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 :

  • 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!
  • Do you align with Anaplan’s Values?

    Collaborative : We go out of our way to help others succeed

    Explore all of our Values on #AnaplanLOVE

    About Anaplan

  • 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.

    Anaplan’s Connected Planning platform is enabling customers to improve decision-making by turning response time into real time.

    With 1200+ and 175+ partners globally, Anaplan’s platform is solving some of the most complex challenges in business.

    We’re addressing a problem that all global businesses face. Our mission is to break the traditional business planning mould, currently performed through spreadsheets or legacy systems.

    CEOs, analysts, and the press agree - Anaplan is changing the way the world does business. , see our , 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 :



    Report this job

    Thank you for reporting this job!

    Your feedback will help us improve the quality of our services.

    My Email
    By clicking on "Continue", I give neuvoo consent to process my data and to send me email alerts, as detailed in neuvoo's Privacy Policy . I may withdraw my consent or unsubscribe at any time.
    Application form