Junior Systems Software Engineer - York, North Yorkshire, United Kingdom - Anaplan

Description

As the engine behind back-office system connectivity, you might not recognize our name, but our customers rank among the who's who in the Fortune 50.

Coca-Cola, LinkedIn, Adobe, and Bayer are just a few of the 2,000+ companies that rely on our best-in-class platform and its native AI capabilities to see, plan, and lead their businesses.

By dynamically connecting financial, strategic, and operational plans in real-time, companies trust Anaplan to give them the power to anticipate change, address complexity, deliver operational insights, increase profits, and stay ahead of their competition.

What unites Anaplanners across teams and geographies is our commitment to our customers' success and our collective motivation to achieve ambitious goals.

We champion diversity of thought and ideas, and we behave like leaders irrespective of title.

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.

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.

This role will require you to be in our York office a minimum of 2 days a week.

You will join t he team that is responsible for both creating this mathematical description , aka t he specification , and creating the tools that leverage it to give the highest degree of confidence in the software we release.

As such , you will have the opportunity to become involved in the de e p analysis and mathematical modelling required to enhance the specificat ion , and also the engineering work need to continue the develop ment of our open-source frameworks.

Model the behaviours mathematically using a formal specification language.
Use these scenarios to verify that the implementation satisfies the specification.
Identify means to increase confidence in quality yet maintain costs.

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 frameworks as coding them.

Property-based testing
Functional coverage analysis
Related engineering tools—GitHub, Gradle, Artifactory, etc.
Our Commitment to Diversity and Inclusion
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 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 correspondences, claiming they are representatives of Anaplan.

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.

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 .