Modelling Analyst

3 weeks ago


York North Yorkshire, United Kingdom Anaplan Full time

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. This role will require you to be in our York office a minimum of 2 days a week.

Your Impact

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.

  • Identify and exemplify a list of distinct, unambiguous behaviours that describe a feature.
  • Construct Acceptance Criteria scenarios to rigorously validate the behaviouralrequirements.
  • Model the behaviours mathematically using a formal specification language.
  • Guide and extend our frameworks to generate scenarios that mimic likely user behaviour.
  • Use these scenarios to verify that the implementation satisfies the specification.
  • Optimise balance between redundancy and coverage in scenarios.
  • Identify means to increase confidence in quality yet maintain costs.

More About You

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.

We’re looking for is someone with the enthusiasm and skills to imaginatively tackle the tasks described above. Some experience in any of the below will stand you in good stead....

  • JVM languages—Kotlin, Java, Groovy
  • Functional programming paradigms and principles
  • Set theory, predicate logic, and formal specification/verification
  • Property-based testing
  • Functional coverage analysis
  • Related engineering tools—GitHub, Gradle, Artifactory, etc.
#J-18808-Ljbffr
  • Finance Analyst

    4 weeks ago


    York, North Yorkshire, United Kingdom MacGregor Black Full time

    Commercial Finance Analyst MacGregor Black is delighted to partner with a FMCG business in their search for a Commercial Finance Analyst . This is a permanent role based in York. The Commercial Finance Analyst will play a pivotal role in supporting the marketing team by providing valuable financial analysis, insights, and recommendations. You...


  • York, North Yorkshire, United Kingdom MacGregor Black Full time

    Job Description Commercial Finance Analyst Do you have experience within a global manufacturing business? Are you a qualified accountant or equivalent? Do you have strong analytical experience? MacGregor Black is delighted to partner with a FMCG business in their search for a Commercial Finance Analyst . This is a permanent role based in York. The ...


  • York, North Yorkshire, United Kingdom Anaplan Full time

    Anaplan is looking for a tenacious Support Analyst to join Level 3 team based in York on a full time basis. The Role Level 3 Support investigate and diagnose complex problems reported by Anaplan customers. Any issues that require in-depth knowledge of the product, or an investigation into the logging or back-end of the system will be dealt with by Level...

  • Mi Analyst

    1 week ago


    North Yorkshire, United Kingdom Hiscox Full time

    Hiscox UK & Ireland is a leading brand in the insurance market, recognised as setting the standards others try to emulate. We consistently deliver strong growth and exceptional returns, recruiting the very best and empowering them to deliver. We are knownfor insuring the homes of the rich and famous through to the most innovative technology companies. Our...

  • Bpa Pricing Analyst

    5 days ago


    York, United Kingdom BCT Resourcing Full time

    Renowned insurer seeking a part qualified Pensions Actuary to join them as a Pricing Analyst within their Bulk Purchase Annuities team | Yorkshire or London. Company client is recruiting on behalf of a renowned insurer seeking a part qualified Pensions Actuary to join them as a Pricing Analyst within their Bulk Purchase Annuities team. Within this role you...


  • North Yorkshire, United Kingdom Harnham Full time

    Logistics Data Analyst £40,000 Yorkshire The Company: This retail giant is a household name and continues to ever develop there data capability, they operate across the globe and have a large amount of data to get hold of. They also have a lot of plans to further develop their capability and bring in more complex and advanced tools such as DataBricks...


  • York, North Yorkshire, United Kingdom Randstad Delivery Full time

    IT Security and Compliance Analyst York - Hybrid (2-3 days per week on-site)12 months Main Purpose: Provide Security & Compliance support to the NiM businesses and IT incl. relevant contribution to agreed IT support model, operational sustain incl. incident and request management, Market Security Compliance Indicator (MSCI) measure and Information...

  • IT Security Analyst

    3 days ago


    York, North Yorkshire, United Kingdom Randstad Delivery Full time

    IT Security and Compliance Analyst York - Hybrid (2-3 days per week on-site) 12 months Main Purpose: Provide Security & Compliance support to the NiM businesses and IT incl. relevant contribution to agreed IT support model, operational sustain incl. incident and request management, Market Security Compliance Indicator (MSCI) measure and Information...


  • York, North Yorkshire, United Kingdom Randstad UK Full time

    IT Security and Compliance Analyst York - Hybrid (2-3 days on-site) Main Purpose: Provide Security & Compliance support to the NiM businesses and IT incl. relevant contribution to agreed IT support model, operational sustain incl. incident and request management, Market Security Compliance Indicator (MSCI) measure and Information Security Managment...

  • Business Analyst

    4 weeks ago


    York, North Yorkshire, United Kingdom Hiscox Ltd Full time

    Job Type: Permanent Build a brilliant future with Hiscox The Operations Support, Automation and Efficiency area gives support for the current operations and frees our people from the repetitive work by using technology so they can focus on our customers and not our systems. The team are the link between the business and the technology teams, ensuring...


  • York, North Yorkshire, United Kingdom Randstad UK Full time

    Job Description IT Security and Compliance Analyst York - Hybrid (2-3 days on-site) Main Purpose: Provide Security & Compliance support to the NiM businesses and IT incl. relevant contribution to agreed IT support model, operational sustain incl. incident and request management, Market Security Compliance Indicator (MSCI) measure and Information...


  • York, North Yorkshire, United Kingdom Randstad UK Full time

    IT Security and Compliance Analyst York - Hybrid (2-3 days on-site) Main Purpose: Provide Security & Compliance support to the NiM businesses and IT incl. relevant contribution to agreed IT support model, operational sustain incl. incident and request management, Market Security Compliance Indicator (MSCI) measure and Information Security Managment (ISMS)...


  • York, North Yorkshire, United Kingdom Randstad UK Full time

    Job Description IT Security and Compliance Analyst York - Hybrid (2-3 days on-site) Main Purpose: Provide Security & Compliance support to the NiM businesses and IT incl. relevant contribution to agreed IT support model, operational sustain incl. incident and request management, Market Security Compliance Indicator (MSCI) measure and Information Security...

  • Business Analyst

    3 weeks ago


    West Yorkshire, United Kingdom Morson Group Full time

    Business Analyst - ServiceNow My Leeds based client is looking to recruit a ServiceNow Business Analyst to join an existing piece of work around the implementation and enhancement of ServiceNow across a wide number of Business areas , not just IT, defining drivers, objectives, scope, high level and detailed requirements. As Business Analyst, you will :...

  • Business Analyst

    3 weeks ago


    West Yorkshire, United Kingdom Morson Group Full time

    Business Analyst - ServiceNow My Leeds based client is looking to recruit a ServiceNow Business Analyst to join an existing piece of work around the implementation and enhancement of ServiceNow across a wide number of Business areas , not just IT, defining drivers, objectives, scope, high level and detailed requirements. As Business Analyst, you will :...


  • York, North Yorkshire, United Kingdom Anaplan Full time

    Anaplan is looking for a tenacious Support Analyst to join Level 3 team based in York on a full time basis. The Role Level 3 Support investigate and diagnose complex problems reported by Anaplan customers. Any issues that require in-depth knowledge of the product, or an investigation into the logging or back-end of the system will be dealt with by Level...

  • Finance Analyst

    2 days ago


    Harrogate, North Yorkshire, United Kingdom Sewell Wallis Ltd Full time

    An exciting position has arisen with one of our favourite clients this morning; they're looking for a progressive part-qualified Finance Analyst to join them due to growth! The business are a leader within their sector, they're extremely well-known within the local area and as they're currently going through a period of change, it's a really exciting time...

  • Credit Analyst

    2 weeks ago


    North London, United Kingdom CER FINANCIAL LTD Full time

    Credit Analyst /Portfolio Analyst Infrastructure/Project FinanceCity of LondonPermanent£65,000cer Financial are working alongside an exciting Financial Services company who are based in the City of London. They are seeking aCredit Analyst /Portfolio Analyst Infrastructure/Project Financeto work with them on a permanent basis. My client issues bonds into the...

  • Credit Analyst

    1 week ago


    North London, United Kingdom CER FINANCIAL LTD Full time

    Credit Analyst /Portfolio Analyst Infrastructure/Project Finance City of London Permanent £65,000 cer Financial are working alongside an exciting Financial Services company who are based in the City of London. They are seeking aCredit Analyst /Portfolio Analyst Infrastructure/Project Financeto work with them on a permanent basis. My client issues bonds...


  • York, United Kingdom Onebright Full time

    Onebright is the personalised mental healthcare company building a brighter way to provide life-changing support for people around the world. We work with everyone from insurance providers and companies to GPs and individuals to get people the support they need to feel better. We are looking to add additional expertise to our Projects and Transformation Team...