London, England, United Kingdom · On-site
About the Position We're looking for software engineers and researchers to establish a new Formal Methods team at Jane Street. With the emergence of agentic programming, we think formal methods will play a major role in …
Skills: Formal Methods, Interactive Proof Assistants, Automated Theorem Provers, Static Analysis, Refinement Types
London, England, United Kingdom · Hybrid
At Similarweb, we are revolutionizing the way businesses interact with the digital world by revealing to them everything that happens online. Our unique data and solutions empower over 5,700 customers globally, including…
Skills: SQL, PySpark, Python, Quantitative Analysis, Data Mining
London, England, United Kingdom · Hybrid
Company Description For over 30 years, Version 1 has been a leading Oracle partner specialising in Enterprise Applications, delivering ERP, HCM and EPM solutions that enable organisations to transform and modernise their…
Skills: Oracle Planning Cloud, PBCS, EPBCS, Smart View, Data Management
London, England, United Kingdom · On-site
Description You will join a front-office engineering team that builds and operates core Rates trading tooling where correctness, resilience, and latency matter every day. The environment is fast-moving and highly collabo…
Skills: Python, Low Latency Engineering, CI/CD, Production Support, SDLC
London, England, United Kingdom · Hybrid
Company Description For over 30 years, Version 1 has been a leading Oracle partner specialising in Enterprise Applications, delivering ERP, HCM and EPM solutions that enable organisations to transform and modernise their…
Skills: Oracle Planning Cloud, PBCS, EPBCS, Solution Architecture, Groovy Rules
London, England, United Kingdom · Hybrid
$70k–$82k/yr
We’re hiring a driven and consultative Mid-Market Account Executive to help accelerate Lattice’s next phase of growth. This is an opportunity for ambitious sales professionals who thrive in fast-paced environments, excel…
Skills: Full-cycle SaaS Closing, Outbound Prospecting, Pipeline Management, Consultative Selling, Multi-stakeholder Management
London, England, United Kingdom · On-site
About the Opportunity... You are not just looking for a job. You are looking for a place to grow, contribute, and prove what you are capable of. You are driven, competitive, and collaborative, with the confidence to lead…
Skills: B2B Sales, Prospecting, Pipeline Management, Salesforce, Sales Cycle Management
London, England, United Kingdom · On-site
$98k–$163k/yr
CoreWeave, the AI Hyperscaler™, acquired Weights & Biases to create the most powerful end-to-end platform to develop, deploy, and iterate AI faster. Since 2017, CoreWeave has operated a growing footprint of data centers …
Skills: Technical Support Management, Team Leadership, SLA Management, Cross-functional Collaboration, AI/ML Ecosystem
London, England, United Kingdom · Hybrid
Head of Business & Revenue Operations I Bokun About Bókun Bókun.io is a leading SaaS platform powering the experiences industry, enabling tour and activity operators to manage their businesses efficiently while seamlessl…
Skills: Revenue Operations, Salesforce Architecture, Go-to-Market Strategy, Revenue Forecasting, AI Operations
London, England, United Kingdom · Hybrid
Company Description Ultimo provides enterprise asset management (EAM) software used by manufacturing and other asset-intensive organisations to manage, maintain, and optimise physical assets across sites and regions. Cus…
Skills: B2B SaaS Sales, New Business Acquisition, Outbound Prospecting, Pipeline Creation, Consultative Selling
London, England, United Kingdom · Hybrid
About Zego At Zego, we know that traditional motor insurance holds good drivers back. It’s too complicated, too expensive, and it doesn't take into account how well you actually drive. That’s why, since 2016, we’ve been …
Skills: Python, SQL, Snowflake, Apache Iceberg, AWS S3
London, England, United Kingdom · Hybrid
M&C Saatchi Group is a creative company that connects specialist expertise, fuelled by data and technology, to help clients navigate, create, and lead meaningful change. Headquartered in London, operations span 23 countr…
Skills: NetSuite Support, Adaptive Insights, Financial Systems Support, Incident Management, User Training
London, England, United Kingdom · Hybrid
M&C Saatchi Group is a creative company that connects specialist expertise, fuelled by data and technology, to help clients navigate, create, and lead meaningful change. Headquartered in London, operations span 23 countr…
Skills: NetSuite Support, Financial Systems Support, Adaptive Insights, Incident Management, User Training
London, England, United Kingdom · Hybrid
$70k–$80k/yr
We’re looking for a Senior Data Scientist to join our Data Team, to help provide insights and build solutions across our business, providing the foundations to grow the business to the next level. About Yoto Yoto is a sc…
Skills: Data Science, Statistics, Probability, Experimentation, Causal Inference
London, England, United Kingdom · Hybrid
Strength in Trust OneTrust’s mission is to enable innovation through the responsible use of data and AI. We believe that ensuring data is trusted shouldn’t slow teams down—it should accelerate what’s possible. This led u…
Skills: Systems Integration, Technical Architecture, Proof of Concept, RFP Preparation, Salesforce CRM
London, England, United Kingdom · On-site
Who Are We? Postman is the world’s leading API platform, used by more than 45 million+ developers and 500,000 organizations, including 98% of the Fortune 500. Postman is helping developers and professionals across the gl…
Skills: JavaScript, Node.js, TypeScript, API Design, DevOps
London, England, United Kingdom · Hybrid
Company Description Version 1 has celebrated 30 years in business and continues to be trusted by global brands to deliver technology and transformation solutions that drive customer success. Our deep expertise enables ou…
Skills: OutSystems, C#, .NET Framework, ASP.NET, MS SQL Server
London, England, United Kingdom · Hybrid
$78k–$83k/yr
Location: London (Hybrid) Salary: £78,000–£83,000 + bonus Benefits: Private Medical Insurance + many more Reports to: Infrastructure Team Lead Hours of work: 37.5 hours per week Language: English (Required) The Role We…
Skills: Linux Administration, Platform Design, Ansible, Bash, Python
London, England, United Kingdom · Hybrid
At Ripple, we’re building a world where value moves like information does today. It’s big, it’s bold, and we’re already doing it. Through our crypto solutions for financial institutions, businesses, governments and devel…
Skills: SaaS Sales, Enterprise FinTech, Treasury Management Systems, Pipeline Generation, Consultative Selling
London, England, United Kingdom · On-site
Company Description Talan Data x AI is a leading Data Management and Analytics consultancy, working closely with leading software vendors and top industry experts across a range of sectors, unlocking value and insight fr…
Skills: Databricks, PySpark, Power BI, Python, SQL
Sign up with Clera and we'll reach out the moment a role actually fits you — no more spraying applications into the void.
Establish a new Formal Methods team to provide feedback for agentic programming and validate agent-generated code. Turn cutting-edge research ideas into practical tools for use across the firm.
Requires deep experience in formal methods, such as proof assistants or static analysis, and top-notch software engineering skills. Strong interpersonal skills for collaborative work in small teams are essential.
We're looking for software engineers and researchers to establish a new Formal Methods team at Jane Street. With the emergence of agentic programming, we think formal methods will play a major role in providing feedback for agents and helping validate agent-generated code. Our vision is to make formal methods as useful a tool for building software as type systems are for us today, both by leveraging existing tools and technology, and pursuing novel approaches.
We're looking to build a new team with engineers who have:
We are interested in exploring a wide variety of approaches. While we are eager to integrate new tools into our existing infrastructure, no previous experience with OCaml or functional programming is required.
The whole world is thinking about what agents mean for the future of programming, and there's no shortage of efforts trying to mix formal methods and agents. But think there are things about Jane Street that make this a unique opportunity.
First, we have deep control of the language we're using, which lets us shape it into a better home for proof-oriented techniques. We can adjust the language and the proof system at the same time in ways that aren't possible when you have to take the language as given.
Second, we have a community of programmers who are eager to adopt new tools, and have the right intellectual toolkit to do so. That community is an unparalleled source of both feedback and leverage for the work we do here.
We're in the early stages of building this team, with an enormous amount of work ahead of us, and we'd love you to be a part of it.
If you're a recruiting agency and want to partner with us, please reach out to [email protected].
Jane Street is a quantitative trading firm with offices in New York, London, Hong Kong, Singapore, and Amsterdam. We are always recruiting top candidates and we invest heavily in teaching and training. The environment at Jane Street is open, informal, intellectual, and fun. People grow into long careers here because there are always new and interesting problems to solve, systems to build, and theories to test. More than twenty years after our founding, it still feels like we’re just getting started. Jane Street does not offer any services to individual investors: https://www.janestreet.com/fraud-and-impersonation-warnings/
Offices: 250 Vesey Street, New York, NY 10281, US · 2 & A Half, Devonshire Square, London, EC2M 4UJ , GB · 10th Floor, Chater House, 8 Connaught Rd., Hong Kong, Central, HK · WTC Tower Ten - L19, Strawinskylaan 1657, Amsterdam, 1077 XX , NL · 10 Collyer Quay, 4/F, Ocean Financial Centre, Singapore, 049315, SG
There are currently 3,047 open software positions in London, United Kingdom listed on Clera. New openings are added daily as companies post roles.
Companies currently hiring include Wise, Amazon, JPMorganChase, Capgemini, Marks and Spencer, among others. Browse the listings above to see every active employer.
Yes — 2116 of the 3047 open software positions offer remote or hybrid work (348 remote, 1768 hybrid).
Each listing links directly to the employer's application page. Apply early — fresh listings get the most recruiter attention in the first two weeks.
