- Identify and exemplify a list of distinct, unambiguous behaviours that describe a feature.
- Construct Acceptance Criteria scenarios to rigorously validate the behavioural requirements.
- 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.
- 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.
- 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.
- Send job offers via email. All offers are first extended verbally by a member of our internal recruitment team whenever possible, and then followed up via written communication.
-
Software Engineer
1 week ago
Futures Manufacturing York, United Kingdom permanentHave a recognised qualification related to coding? · Good at embedded software design? · This could be the role for you · Futures seek to appoint a Software Engineer for a technology focused business in York. It is essential you have completed a degree in a relevant subject such ...
-
Software Engineer
2 weeks ago
Searchability® york, United KingdomSoftware Developer- C#, .NET, (or another modern JS library) Azure, SQL · 3 days a week onsite in York · Salary between £50k-£55k, plus a £2k bonus paid quarterly. · Benefits; Bonus, 23 days leave, private healthcare, life insurance, free parking · My client are a close knit So ...
-
Software Engineer
3 days ago
Candour Solutions York, United Kingdom.Net Developer – York – hybrid working opportunity– up to £50,000 + Numerous unique benefits, personal development opportunities and private healthcare. · ABOUT OUR CLIENT · A niche and exciting corner of the Tech industry, with a big demand for their product. With global clients ...
-
Software Engineer
3 weeks ago
Gravitas Recruitment Group (Global) Ltd York, North Yorkshire, United Kingdom £40,000 - £50,000Job Description JavaScript | React | Node.JS | .Net · Role: Software Engineer · Salary: £40,000-£50,000 · Location: North Yorkshire – hybrid · Software Engineer role available on a Permanent basis in North Yorkshire. This is a brand new role as part of the technology organi ...
-
Software Engineer or Senior Software Engineer
3 weeks ago
Anaplan York, North Yorkshire, United KingdomAnaplan is looking for a SENIOR FULLSTACK SOFTWARE ENGINEER within the End User Experience workstream to join our growing team of global engineers at our vibrant tech hub in the UK to build and ship award-winning, planning technology that is helping people and companies around th ...
-
Software Engineer
2 days ago
Candour Solutions York, United Kingdom.Net Developer – York – hybrid working opportunity– up to £50,000 + Numerous unique benefits, personal development opportunities and private healthcare. · Ready to make your application Please do read through the description at least once before clicking on Apply. · ABOUT OUR CLI ...
-
Software Engineer
2 days ago
Candour Solutions York, North Yorkshire, United Kingdom £50,000Job Description Net Developer – York – hybrid working opportunity– up to £50,000 + Numerous unique benefits, personal development opportunities and private healthcare. · ABOUT OUR CLIENT · A niche and exciting corner of the Tech industry, with a big demand for their product. W ...
-
Senior Software Engineer
1 week ago
Anaplan York, United KingdomAnaplan. 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 ...
-
Software Engineer
2 weeks ago
Searchability® York, United KingdomSoftware Developer- C#, .NET, (or another modern JS library) Azure, SQLn3 days a week onsite in YorknSalary between £50k-£55k, plus a £2k bonus paid quarterly.nBenefits; Bonus, 23 days leave, private healthcare, life insurance, free parking · My client are a close knit Software ...
-
Software Engineer
1 week ago
Searchability® York, North Yorkshire, United KingdomJob Description Software Developer- C#, .NET, (or another modern JS library) Azure, SQL · 3 days a week onsite in York · Salary between £50k-£55k, plus a £2k bonus paid quarterly. · Benefits; Bonus, 23 days leave, private healthcare, life insurance, free parking · My client ...
-
Senior Software Engineer
2 weeks ago
Yara York, United Kingdom PermanentResponsibilities · Collaborate as part of the Rebuild team on the development of Yara's global soil based digital solutions. · Maintain the laboratory LIMS to safeguard efficient transfer of data from analytical instrumentation. · Gather requirements and add new instruments and p ...
-
Senior Software Engineer
1 week ago
Yara International ASA York, North Yorkshire, United KingdomPress Tab to Move to Skip to Content Link · Job Function: Digital Farming · Job Type: Permanent · Senior Software Engineer · We at Yara are part of a global network, collaborating to profitably and responsibly solve some of the world's key challenges – resource scarcity, food ...
-
Senior Software Engineer
6 days ago
Anaplan York, North Yorkshire, United KingdomAnaplan is seeking a motivated Senior Software Engineer to work in an autonomous Agile team emphasizing collaboration, innovation, and honesty. We're serious about attracting the best. We have hugely complex technical problems to solve, and we offer unrestricted progression, a ...
-
Fullstack Software Engineer
19 hours ago
Anaplan York, United KingdomAnaplan. 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 ...
-
Senior Software Engineer
1 week ago
Yara International ASA York, North Yorkshire, United KingdomPress Tab to Move to Skip to Content Link · Select how often (in days) to receive an alert: · Location: · York, ENG, GB · Job Function: Digital Farming · Job Type: Permanent · Job Requisition ID: 20208 · Senior Software Engineer · We at Yara are part of a global network, ...
-
Senior Software Engineer
1 week ago
Yara International York, North Yorkshire, United KingdomThis job is brought to you by Jobs/Redefined, the UK's leading over-50s age inclusive jobs board. · About the Unit · We at Yara are part of a global network, collaborating to profitably and responsibly solve some of the world's key challenges - resource scarcity, food insecurit ...
-
Software Engineer in DevOps
2 weeks ago
Searchability® York, North Yorkshire, United KingdomJob Description Software Developer- C#, .NET, (or another modern JS library) Azure, SQL · ~3 days a week onsite in York · ~ Salary between £50k-£55k, plus a £2k bonus paid quarterly. · ~ Bonus, 23 days leave, private healthcare, life insurance, free parking · My client are a ...
-
Software Engineer
3 weeks ago
Jefferson Frank Leeds, United KingdomSoftware Engineer (.NET/Angular) - £50-60K - Remote - InsurTech · Software Engineer (.NET/Angular) - £50-60K - Remote - InsurTech · Our client, an exciting InsurTech, are on the lookout for the Software Engineer to design, develop, document, and test software to ensure that it me ...
-
Software Engineer with DevOps training
3 days ago
Candour Solutions York, North Yorkshire, United Kingdom £50,000Net Developer – York – hybrid working opportunity– up to £50,000 + Numerous unique benefits, personal development opportunities and private healthcare. · A niche and exciting corner of the Tech industry, with a big demand for their product. Over 100 years of success, and numerou ...
-
Software Engineer
3 weeks ago
Equiniti Leeds, United KingdomEquiniti is a leading international provider of shareholder, pension, remediation, and credit technology. With over 6000 employees, it supports 37 million people in 120 countries. EQ's vision is to be the leading global share registrar, offering complementaryservices to its clien ...
Junior Software Engineer - York, North Yorkshire, United Kingdom - Anaplan
Description
Anaplan. 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. When you work for us, you'll be part of a winning culture that's dedicated to creating opportunities for our customers, partners, and employees. We hope you'll join us. Let's create something incredible together
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.
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....
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 hire you for who you are, and we want you to bring your true self to work every day
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. The main purpose of these correspondences and announcement is to obtain privileged information from individuals.
All emails from Anaplan would come from an email address. 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 before taking any further action in relation to the correspondence.
#J-18808-Ljbffr
 Ltd&v=024){kind=logo}
