TechPrufer
Get started
Jane Street
Jane Street logoJane Street · Feature trail

Formal Methods Integration

1 post · Jun 2026

What this trail covers

This post introduces a new capability for integrating formal methods into software development, driven by the emergence of agentic coding. It details the technical approach to leveraging formal methods to address the verification bottleneck and provide feedback to AI agents, aiming to make formal methods as pervasively useful as type systems. This capability extends to adapting the programming language to better support proof-oriented techniques and integrating with external formal methods tools.

All Jane Street trails
  1. Formal methods and the future of programmingThis post details the motivation and strategy for building a team focused on formal methods at Jane Street. It highlights how agentic coding changes the cost-benefit calculus of formal methods by reducing the cost of use and increasing the benefits through improved verification and agent feedback. The post also outlines Jane Street's unique advantages in this area, including deep control over their programming language (OxCaml) and a receptive community of programmers, and discusses potential near-term and long-term improvements and integration with external tools like Lean and Dafny.