At Imandra, we build tools for reasoning about algorithms. Our technology forms an integral part of our customers’ software development lifecycles, from the design stage to analytics and monitoring of critical production systems.
Imandra strives to recruit, develop, and retain the most talented people worldwide, regardless of their background. We are looking for the best R&D Engineers to help scale our products to the next level.
We have a solid foothold in the financial sector, and we are now applying Imandra’s general purpose automated reasoning tools to other industries to help make producing correct software simpler and more accessible for everyone.
If you’re interested in finding out more about the Imandra reasoning engine, check out our interactive technical docs at
The Role and Responsibilities
You'll be working on developing our cloud-based automated reasoning platform, primarily using OCaml.
There are opportunities to get involved across the full stack according to your skills and interests:
- Our web APIs and backend services (OCaml, PostgreSQL, Redis).
- Product UIs and visualization tools (React, via the ReasonML/Bucklescript/Melange toolchain, webgl).
- Continuous integration and cloud infrastructure (Google Cloud, Kubernetes, Terraform).
- Modeling and verifying customer production systems using Imandra.
- Working directly with customers to prototype and develop new product features.
- Contributing to novel advanced proof automation techniques, formal verification, and code synthesis algorithms.
- Contributing to open source projects, both upstreaming new features and fixes and publishing new open source libraries.
You’ll be working with a globally distributed team in different time zones. Our primary locations are Austin, TX and London, UK.
Requirements
What you will bring
What we're looking for
- Strong software development skills.
- A product-focused mindset, with a willingness to design, develop and deliver features and improvements across the full software stack.
- An interest in typed, functional languages.
- Competent Linux/Unix skills.
- Experience collaborating using Git/GitHub/CI tools and processes.
Skills that are a bonus
We don’t expect everyone to have these, but any experience or interest in working with them would definitely be a plus:
Experience building projects with OCaml, ReasonML, Haskell, or other functional programming languages.
Working with cloud infrastructure, specifically GCP.
An interest in theorem proving and formal verification.
Experience contributing to open-source projects.
Benefits
- Private Healthcare and Dental Plan
- Pension Plan
- Stock Option Plan
Vacancy posted more than 2 months ago
Similar jobs that could be interesting for youBased on the Functional Software Engineer (London) in London vacancy
£55k - £72k per annum
...About the role: A well-established SAP Gold Partner is expanding its London delivery team and looking for an SAP Business One Functional Consultant to lead implementations and ongoing optimisation for clients across distribution, manufacturing and professional services....SuggestedPermanentHybrid working- £52k - £67k per annumEstimated...Back to jobs Software Engineer, AI Product (London, United Kingdom) London, England Figma is growing our team of passionate creatives and builders... ...~ Experience communicating and working across functions to proactively drive solutions ~ Attention to detail,...SuggestedFull-time
- £57k - £75k per annumEstimated...collaboration, join us! Figma is seeking Software Engineering interns to join our Developer Tools... ...This internship will be based out of our London hub. What you’ll do at Figma:... ...interview process, perform essential job functions, and receive other benefits and privileges...SuggestedInternship
- £74k - £96k per annumEstimated...growing our team in New York and London. We're a deeply technical team of engineers, AI researchers, and strategists with... ...about the craft of building software: strong typing, thoughtful API design... ...of day Collaborate with a cross-functional team of engineers and AI experts...SuggestedFull-timeDay shift
- £54k - £72k per annumEstimated...Senior Cloud Security Engineer (London, Bracknell or Bristol) We are HealthHero, Europe’s largest digital clinic. Join us at a pivotal moment... ...will form a fundamental part of a growing Platform Security function, where the team covers application security, cloud security, security...SuggestedLong-term contractPermanentFull-timeFixed-term contractHybrid workingOn-siteShift work
- £46k - £59k per annumEstimated...Back to jobs Software Engineer, Production Engineering (London, United Kingdom) London, England Figma is growing our team of passionate creatives and... ...participate in the interview process, perform essential job functions, and receive other benefits and privileges of...Full-time
- £60k - £79k per annumEstimated...We have built a world-leading drug design engine comprising AI models that are capable of... ...on all parts of cloud infrastructure and software lifecycle. We believe Isomorphic is best... ...solutions and work effectively in cross-functional teams Nice to have: Experience with...Long-term contractHybrid workingOn-site1 day/week
- £85k - £113k per annumEstimated...– Speechify has no office. These include frontend and backend engineers, AI research scientists, and others from Amazon, Microsoft, and... ...integration needs for enterprise clients Work closely with cross-functional teams to align backend architecture with overall product...On-site
$25 per hour
...yet globally distributed team of highly experienced engineers and business leaders, with hubs in New York, London, Singapore, and Cyprus. You’ll be part of a hybrid-... ...something extraordinary. We’re Hiring: Software Engineer Talos operates at the intersection of crypto...Full-timeHybrid workingOn-site- £69k - £92k per annumEstimated...exponential growth. Overview We're looking for a Senior Software Engineer to join our Core Experiences Team. This team builds and... ...deliver solutions via our cross-platform SDK Optimize existing functionality to ship things like faster loading and more intelligent...Remote
- ...company is headquartered in London, United Kingdom, with 15 global... ...with an intuitive business software and financial technology solutions... .... As a Platform Engineering Team Lead, you will be accountable... ...Team Leadership Drive cross-functional initiatives across Product,...
- £67k - £86k per annumEstimated...platforms. We are creating a 0→1 team in London to architect next-generation systems that... ...legal, investigations, and harm-specialised engineers and data scientists to holistically... ...role if you: Have at least 5 years of software engineering experience in backend and data...Full-time
- £61k - £78k per annumEstimated...is building the world's first real-time reasoning engine that can help root cause and mitigate large-scale software outages by reasoning about distributed systems, code... ...role at Deductive AI located in Camden, London. As a Software Engineering Intern at Deductive AI,...Full-timeInternship
- £132k - £175k per annumEstimated...office. These include frontend and backend engineers, AI research scientists, and others from... ...to building accessible and inclusive software. ~ Excellent software engineering fundamentals... ...tradeoffs, collaborate with cross-functional teams, and drive consensus. ~ A user-...Long-term contractOn-site
$25 per hour
...yet globally distributed team of highly experienced engineers and business leaders, with hubs in New York, London, Singapore, and Cyprus. You’ll be part of a hybrid-... ...extraordinary. About the Role As a Software Engineer in our Trading Connectivity team, you will...Full-timeHybrid workingOn-site- £113k - £150k per annumEstimated...capabilities. This role sits within the engineering effort to develop a modern Lakehouse and... ...extend platform tooling where additional functionality is needed. Role Summary As a Data... ...workflows quickly. Familiarity with software engineering fundamentals, including version...Long-term contract
- £63k - £82k per annumEstimated...Lakera is seeking a Solutions Engineer to accelerate sales velocity, increase customer success... ...for a scalable Solutions Engineering function by building playbooks and repeatable best... ...moving startup environment. Location: London. Logistics: Hybrid. We’re excited...Full-timeHybrid workingOn-site
- £60k - £80k per annumEstimated...has embarked on one of its most ambitious engineering programs: the Consolidated Trade Ledger... ...Markets front, middle, and back office functions. This includes extending CTL's flexible... ...code, and accelerate every phase of the software development lifecycle. Your Impact...Flexible hours
- £60k - £78k per annumEstimated...Job Description Locations: London (must be willing to travel to client sites throughout the UK on an ad hoc basis) Level... ...- Julie Sweet, Accenture CEO Qualification Accenture Software & Platform Engineering is over 1,000 people strong and provides end-to-end product...Full-time
- £46k - £61k per annumEstimatedAdobe Livecycle Developer with Oracle and Javascript ? West London We urgently require an Adobe Livecycle Developer with Oracle and Javascript... ...You will be involved in working with stakeholder and sponsor functions to understand business requirements for Automated workflow and...Full-timeImmediate start
- £62k - £80k per annumEstimated...Summary: Goldman Sachs is seeking a highly skilled Senior Software Engineer to join our team. The ideal candidate will have extensive experience... ...field. The successful candidate will collaborate with cross-functional teams to develop innovative solutions to meet business needs,...
£60k - £85k per annum
Javascript and Agile Software Developer ? Central London The Client Developer will be responsible for the development and delivery of all client side... ...; growth within the team and opportunities to lead engineering initiatives are abundant. We need people who want to help...Full-time- £75k - £99k per annumEstimated...projects here ! The Role Based in our London office, you’ll join one of several high-... ...with real-world impact. As a senior engineer, you’ll collaborate closely with product,... ...'ll get the right hardware and the right software you need to do your best work. Learning...Full-timeOn-siteFlexible hours
£60k - £70k per annum
Job Description Dynamics AX Senior Developer – Central London Dynamics AX, Dynamics 365 F&O, X++, SQL, C#, Central London, Retail... ...and extend Dynamics AX using X++, SQL and C# Good overall functional capability and comfortable dealing with business users Provide...Permanent- £103k - £132k per annumEstimated...Java Software Developer – Trading Systems (Remote) Amsterdam or London Quant Capital is partnered with a leading technology... ...Developer. This is a hands-on engineering role building the core... ...supporting new markets, products and functionality. What you will be doing...Remote
£500 per day
...Salesforce Developer - £500/Day (Inside IR35) - London Based a0MP9000009u9wH.1 Salesforce Developer | £500/Day | Inside IR3... ...the Salesforce platform to support ongoing enhancements and new functionality Contribute to and influence the Salesforce technical roadmap...Long-term contractHybrid workingOn-site- £49k - £64k per annumEstimated...Controllers Engineering Controllers Engineering is responsible for designing and implementing... ...and consistency across controller functions. Responsibilities Manage end-to-end... ...Engineering or related discipline. ~6+ years of software development experience. ~ Strong...
- £35k - £47k per annumEstimated...integrations (Power Automate, Power Apps) to extend SharePoint functionality where required Ensuring all solutions are delivered in line... ..., with strong hands-on technical capability Exposure to the London Market or Lloyd's insurance environment, with an understanding...
- £45k - £59k per annumEstimated...and comfortable working in cross-functional teams * Stem or Computer Science... ...* A Slack network of 600+ engineers across our extended ecosystem — ask... ...hybrid basis from our office based in London. Who are we Theodo UK is a software consultancy specialising in full-...Hybrid workingOn-site
- ...Junior Backend Software Engineer. London About Antare Join Antare as we go to market. We’ve been busy building the physical security intelligence... ...abilities. Responsibilities Collaborate with cross-functional teams to define and deliver new features against tight...
Do you want to receive more vacancies?
Subscribe and receive similar vacancies to Functional Software Engineer (London). Be the first to apply!
Related searches