Jane Street invites PhD students, postdocs and masters students to join our Formal Methods group as interns, working on OCaml language tooling for correctness and bug finding. You’ll be paired with mentors and contribute to a real project from day one, with exposure to production code and guest speakers.
We value curiosity, collaboration and the ability to translate research ideas into practical tools, including property-based testing or refinement-type work, all while you learn what it's like
Formal Methods Intern: Build Practical Verification Tools employer: Jane Street
At Jane Street, we pride ourselves on being an exceptional employer, fostering a vibrant work culture that prioritises collaboration and employee engagement. Our London office offers a dynamic environment where the Events Management Specialist will play a crucial role in enhancing team connections through thoughtfully curated events, while benefiting from ample opportunities for professional growth and development. With a strong emphasis on support and innovation, we ensure our employees feel valued and excited to contribute to our collective success.
