At a Glance
- Tasks: Join our Formal Methods team to develop innovative tools for software correctness and bug finding.
- Company: Jane Street, a leading tech firm with a focus on cutting-edge programming languages.
- Benefits: Gain hands-on experience, mentorship, and access to networking events.
- Other info: Collaborative environment with opportunities for personal and professional growth.
- Why this job: Make a real impact in software development while learning from industry experts.
- Qualifications: PhD students or masters students with research experience in programming languages and verification.
The predicted salary is between 22500 - 27500 £ per year.
About the position
We're opening our first internships in the Formal Methods group of our OCaml Language team, which develops language features and tooling for correctness reasoning and bug finding in OCaml programs.
With the emergence of agentic programming, we think formal methods will play a major role in helping validate agent-generated code and providing feedback for agents.
Our vision is to make formal methods as useful a tool for building software as type systems are for us today, both by leveraging existing tools and technology, and pursuing novel approaches.
During the internship, we want to give you a real sense of what it's like to work at Jane Street full time while also providing a truly unparalleled educational experience.
You'll be paired with full-time employees who act as mentors, collaborating with you on a real-world project that combines your research background with one of our active projects, such as adding support for property-based testing of formal specifications or developing a refinement type system for functional correctness verification.
You’ll have the opportunity to evaluate the tools you develop on a large, actively developed production codebase.
You'll also be able to attend guest speakers and social events, and hopefully get a real sense of what it would be like to work here full-time.
There is plenty of work on combining agents and formal methods.
What’s different at Jane Street is that we aren't stuck designing verification tools for legacy languages: we can modify and improve Ox Caml, our branch of OCaml, and its development environment to make them well-suited for proof-driven software development.
Moreover, we have a community of excellent programmers who are eager to adopt these tools and apply them to real software.
Learn more about Jane Street's internship program here.
About you
We're looking for Ph D students, postdocs, and masters students with outstanding research experience in program verification, programming language semantics, property-based testing, static analysis, model checking, and related areas.
You should be A strong programmer who enjoys collaborating in small teams Excited to turn research ideas into practical tools Intellectually curious, humble and unafraid to ask questions Fluent in English We don't expect you to have a background in finance, OCaml, or functional programming.
Formal Methods Research and Development in London 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.
StudySmarter Expert Advice🤫
We think this is how you could land Formal Methods Research and Development in London
✨Join Local Tech Meetups
Get out there and mingle with fellow developers by joining local tech meetups. It’s a fantastic way to meet people who might be working at Jane Street or know someone who does. Plus, you can pick up some trendy tech skills and trends while you're at it!
✨Contribute to Open Source Projects
Show off your coding chops by jumping into open-source projects. Not only does this give you practical experience, but it also gets you noticed in the dev community. You'll create a killer portfolio that speaks volumes about your skills to Jane Street.
✨Tap into Online Developer Communities
Don’t underestimate the power of online developer communities like GitHub, Stack Overflow, and even Reddit. Participate in discussions, share your projects, and build your visibility. We can often find opportunities through these channels that can lead to a full-time gig at companies like Jane Street.
✨Explore Job Boards Specifically for Tech Roles
Keep your eyes peeled on job boards that focus on tech roles. Sites like TechCareers or Stack Overflow Jobs can often have listings for companies like Jane Street that might not show up on broader job sites. Make it a habit to check these regularly, and don’t hesitate to apply directly through our website!
We think you need these skills to ace Formal Methods Research and Development in London
Some tips for your application 🫡
Show off your coding skills:When applying for a software engineering role, it's super important to showcase your coding skills. Make sure your CV includes your tech stack, any relevant programming languages you’re comfortable with, and examples of projects you've worked on. If you have a GitHub profile, link it up! We love to see code in action.
Tailor your portfolio:For a full-time role, we’d expect to see some solid examples of your work in your portfolio. Make sure to include at least two or three projects that highlight your problem-solving skills and your ability to work with different technologies. Focus on the projects that are most relevant to the position at Jane Street.
Craft a killer cover letter:Your cover letter is your chance to stand out—make it personal! Explain why you want to work at Jane Street and how your skills align with the role. Show us your passion for software development. We dig enthusiastic candidates who understand the value of collaboration and continuous learning!
Be clear and concise:When it comes to writing your CV and cover letter, clarity is key. Avoid jargon that could confuse us and stick to simple, direct language. Highlight your achievements with quantifiable results where possible, and keep everything easy to read. A well-organised application goes a long way!
How to prepare for a job interview at Jane Street
✨Brush Up on Your Coding Skills
For a full-time software engineering role, it's crucial that we stay sharp with our coding abilities. Expect technical questions that might involve solving problems on the spot or discussing algorithms. Practise on platforms like LeetCode or HackerRank to get comfortable with the types of questions that often come up.
✨Know Your Tools and Frameworks
Make sure we’re well-acquainted with the tools and technologies listed in the job description. Familiarise ourselves with any specific frameworks or programming languages mentioned. If Jane Street uses React or Node.js, for instance, be ready to discuss how we’ve used them in previous projects or coursework.
✨Showcase Your Projects
Bring along a portfolio that highlights our best work. This could be code samples, GitHub repositories, or any side projects we’ve built. Make sure we can talk through our thought process for each project, especially the challenges we faced and how we solved them—this shows our problem-solving skills in action.
✨Prepare for Behavioural Questions
While technical skills are key, full-time positions also require cultural fit. Be ready to discuss our previous experiences and how we handle teamwork, conflict, and deadlines. Brush up on the STAR method—Situation, Task, Action, Result—to clearly articulate our past experiences when discussing how we've contributed to a team.
