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 :
This might sound simple, but the devil is in the detail :
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 :
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 :
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
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 :
CAN’T FIND THE PERFECT ROLE FOR YOU? NEW OPPORTUNITIES ARE OPENING UP DAILY :