Get matched with opportunities that fit your skills, experience, and career goals.
Jobs found — scroll to load more
Clear filtersJane Street · London
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
Discovered 1 weeks ago
ApplyJane Street · London
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
Discovered 2 weeks ago
ApplyJane Street · London
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
Discovered 2 weeks ago
ApplyOneChronos · London
Formal Methods Engineer London (Hybrid work environment) OneChronos is building the bazaar for agentic systems. We’re starting in capital markets, where our matching markets routinely account for more than 1% of notional
Skills
Discovered 2 weeks ago
ApplyTrail of Bits ·
Senior Security Engineer, Research & Engineering Trail of Bits · United Kingdom (Remote) · Full-time · Posted 2026-09-02 Salary: USD 125,000–185,000 Workplace: remote Department: Research & Engineering Description
Skills
Discovered 1 weeks ago
ApplyAll jobs loaded
Browse thousands of jobs, tailor your resume in 60 seconds, and start applying with confidence.
Start Free NowFree plan available · No credit card required