> Markdown version of [/jobs/ext/529815-software-engineers-and-researchers](https://www.wearedevelopers.com/jobs/ext/529815-software-engineers-and-researchers). Every page supports `.md` or `Accept: text/markdown`. Links point to the HTML versions so they work for humans too. Agent guide: [/agents.md](https://www.wearedevelopers.com/agents.md).

---

# software engineers and researchers

- **Company:** Jane
- **Location:** United States
- **Contract:** Permanent contract
- **Skills:** Static Program Analysis, Software Engineering, Formal Methods, Functional Programming
- **Published:** June 13, 2026
- **Apply:** https://www.dice.com/job-detail/b95d4f7b-6e26-4611-b647-810c55d657e7

## About the Role

* Deep experience with formal methods. There's no specific checklist. We're broadly interested in people with backgrounds in interactive proof assistants, automated theorem provers, static analysis, refinement types, program logics, property-based testing, and related areas.
 * Top-notch software engineering skills. We're looking for people who can turn cutting-edge research ideas into practical tools, and get these tools in use across the firm and beyond.
 * Strong interpersonal skills. Software engineering at Jane Street is highly collaborative, and we're looking for people who can work effectively in small, close-knit teams.

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.
Why do it here?



## Related Videos

- [When testing just doesn’t cut it](https://www.wearedevelopers.com/videos/720-when-testing-just-doesn-t-cut-it)
- [The Avengers Initiative (Practical Ethics for Software Engineers)](https://www.wearedevelopers.com/videos/2070-the-avengers-initiative-practical-ethics-for-software-engineers)
- [A Guide To Functional Programming](https://www.wearedevelopers.com/videos/408-a-guide-to-functional-programming)
- [Syntax, Semantics, and Systems: From Linguistics to Software - Yasmine Kordjazy](https://www.wearedevelopers.com/videos/1940-syntax-semantics-and-systems-from-linguistics-to-software-yasmine-kordjazy)
- [F#, path to functional enlightenment](https://www.wearedevelopers.com/videos/706-f-path-to-functional-enlightenment)
- [AI Meets Hoare Logic: Revolutionizing Software Testing with Formal Methods](https://www.wearedevelopers.com/videos/1644-ai-meets-hoare-logic-revolutionizing-software-testing-with-formal-methods)

## Related Articles

- [The Best X (Twitter) Accounts for Developers](https://www.wearedevelopers.com/magazine/294-the-best-x-twitter-accounts-for-developers)
- [Where To Find Software Engineering Jobs](https://www.wearedevelopers.com/magazine/396-where-to-find-software-engineering-jobs)
- [Is Software Engineering Hard?](https://www.wearedevelopers.com/magazine/448-is-software-engineering-hard)
- [Dev Digest 120 - Apple and peers](https://www.wearedevelopers.com/magazine/455-dev-digest-120-apple-and-peers)
- [The Best Software Developer Blogs to Read](https://www.wearedevelopers.com/magazine/156-the-best-software-developer-blogs-to-read)
- [Where to Find Entry-Level Software Engineering Jobs](https://www.wearedevelopers.com/magazine/397-where-to-find-entry-level-software-engineering-jobs)