ApplyBlast uses AI to match you with the right jobs, tailor your resume and cover letter, and apply automatically so you can land your dream job faster.

Features

Auto Apply Resume Optimizer Cover Letter Optimizer Interview Prep

Company

Social Media

Need Help?

team@applyblast.com

Formal Methods Engineer at Jane Street - ApplyBlast

Formal Methods Engineer

Jane Street

4 months ago

4.2 on Glassdoor

United States

Onsite

Full Time

Senior

2 applicants

View Job Listing

Apply to 100+ jobs

About this role

Jane Street is building a new Formal Methods team to integrate rigorous mathematical verification into their software engineering practices and agentic programming workflows. The role focuses on leveraging tools like interactive proof assistants to provide feedback and validate agent-generated code. Successful candidates will transform cutting-edge research ideas into practical, firm-wide tools within a collaborative environment.

Responsibilities

Establish a new Formal Methods team at the firm
Transform research ideas into practical engineering tools
Build verification systems for agent-generated code
Integrate novel approaches into existing software infrastructure
Collaborate with programmers to adopt new verification tools

Skills

About Jane Street

janestreet.com

Headquarters

New York, New York, United States

Company Size

1001-5000 employees

Founded

2000

View Profile

Jane Street is a global quantitative trading firm and liquidity provider that combines quantitative research, software engineering, and proprietary trading strategies to trade equities, bonds, options, futures and ETFs across major markets. The firm emphasizes technology-driven, low-latency systems and collaborative problem solving — it’s known for heavy engineering culture (including widespread use of OCaml) and rigorous risk management. Jane Street serves institutional counterparties and runs systematic and market-making operations to provide liquidity. It also recruits strongly from math, physics and computer science backgrounds and offers internships and graduate roles in trading, research, and engineering.