Were 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.
Were 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 theres 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 were 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 arent 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.
Were in the early stages of building this team with an enormous amount of work ahead of us and wed love you to be a part of it.
If youre a recruiting agency and want to partner with us please reach out to.
Required Experience:
IC
Formal Methods Engineer • London, England, UK
A financial technology company in London is seeking a Software Engineer for Realtime Quant Frameworks to ensure high performance and efficiency across their automated trading platform.The ideal can... Show more
Rest of working time can be remotely.A Senior Installation Methods Engineer is required to work for a large contractor in the Oil & Gas sector, the role will be outside IR35 and offer a very flexib... Show more
Want to work to decarbonise one of the world’s most important industries? Are you a great team player? Can you ship high-quality products faster than others think is possible? We’re looking for a S... Show more
P2P is seeking a Pre-Training Research Engineer to lead the development of large-scale foundation models that transform market predictions.You will build infrastructure for training on massive data... Show more
Imagine what you could do here.At Apple, new ideas have a way of becoming extraordinary products, services, and customer experiences very quickly.Bring passion and dedication to your job and there'... Show more
Barlowe LLP in Greater London is seeking a Software Engineer for Realtime Quant Frameworks to develop systems that support high-impact research.The role involves designing a core scheduling platfor... Show more
We're looking for someone who can organize and build insights from interactions humans have with AI models.This individual thrives in the world of data, possessing a strong command of data pipeline... Show more
Engelhart was founded in 2013 by BTG Pactual Group as a commodities trading company.Our business model is “asset light” and highly diversified – giving us the ability to adapt effectively and nimbl... Show more
Be among the first 25 applicants.Conduct is reinventing how enterprises run their legacy software, solving a multi-billion-dollar problem at the core of global business and manufacturing.While the ... Show more
We’re scaling an advanced engineering programme — and we’re looking for exceptional engineers to help build it.A highly specialised engineering team is expanding to work on complex, real-world syst... Show more
The way companies innovate is broken.The systems built to create and protect ideas can’t keep up with the pace of change.S&P 500 company value is intangible (e.The tools of creating and protecting ... Show more
Certain Advantage are recruiting on behalf of our globally renowned brand for a GenAI Prompt Engineer in London, initially until 31st Dec.This will need 2-3 days working onsite in Central London.De... Show more
Xometry in Enfield, England is looking for a detail-oriented Technical Engineering Advisor to connect customers and suppliers, supporting product development and manufacturing processes.The success... Show more
As a formal verification architect leading the complete formal verification for single or multiple design blocks and IP’s (CPU, Cellular and Connectivity IP, Audio and Image Processing IP, Neural N... Show more
ASOS is seeking a Senior Applied Diffusion Engineer to spearhead the development of innovative image generation systems tailored for fashion.This role involves designing and optimizing LoRA pipelin... Show more
Be among the first 25 applicants.Get AI-powered advice on this job and more exclusive features.Direct message the job poster from Akkodis.Multiple locations available within the UK, including Crawl... Show more
The purpose of this position is to carry out Master Systems Integration of building management systems (BMS), build control databases, engineer user interfaces and set‑up control systems based on p... Show more
Una consultora multinacional busca un Firmware Engineer para unirse a su equipo en Londres.El candidato será responsable del diseño y desarrollo de software de sistemas electrónicos, supervisión de... Show more
You'll join the Pharosyn team as an early hire — shaping the product from the ground up.No programming or engineering experience required.Directly shape what we build, in what order, and why — acti... Show more
The First Wearable for your Gut & Nutrition (www.You own the code that lives on the device itself.A wearable that reads signals from the body around the clock, on a tiny battery, and never loses a ... Show more
