At a Glance
- Tasks: Work on real-world projects in formal methods and programming language development.
- Company: Join Jane Street, a leading tech firm with a collaborative and innovative culture.
- Benefits: Gain hands-on experience, mentorship, and access to networking events.
- Other info: Flexible internship with opportunities for growth and learning in a dynamic environment.
- Why this job: Make an impact in software development while learning from top professionals.
- Qualifications: PhD or master's 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 OxCaml, 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.
About you
- We're looking for PhD 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.
- 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.
Jane Street is an Equal Opportunity Employer.
Formal Methods Research and Development Internship, Flexible Jane Street · London, United Kingdom 2 hours ago employer: Tradermath
IMC Trading is an exceptional employer, offering a unique opportunity for Principal Research Scientists to influence the future of machine learning within a highly collaborative and innovative environment. With access to world-class datasets and significant compute resources, employees can see their cutting-edge research translate into real-world impact while enjoying competitive compensation and continued engagement with the academic community through conferences and publication opportunities.
StudySmarter Expert Advice🤫
We think this is how you could land Formal Methods Research and Development Internship, Flexible Jane Street · London, United Kingdom 2 hours ago
✨Join Developer Communities!
Dive into online communities like GitHub or Stack Overflow. Contributing to open-source projects can really showcase your coding skills and catch the eye of hiring managers at companies like Tradermath.
✨Attend Tech Meetups and Hackathons
Get your name out there by attending local tech meetups and hackathons. It's a perfect way to network with industry professionals and fellow interns, while also demonstrating your coding prowess in a collaborative setting.
✨Leverage University Career Services
Don't forget about your university's career services! They often have partnerships with companies like Tradermath, and can help you access exclusive internship listings and workshops tailored for aspiring interns like us.
✨Show Off Your Work
Create a portfolio showcasing your coding projects on a platform like GitHub Pages or personal website. When applying for internships, we should link this to provide tangible proof of our skills and creativity, making us stand out to Tradermath!
We think you need these skills to ace Formal Methods Research and Development Internship, Flexible Jane Street · London, United Kingdom 2 hours ago
Some tips for your application 🫡
Show Off Your Side Projects:If you've got any side projects or contributions to open source, make sure to highlight them in your CV. We want to see what you can create! Include links to your GitHub or any relevant platforms to give us a taste of your coding style and skills.
Tailor Your CV for Software Engineering:Make your CV pop by tailoring it specifically for software engineering. List relevant programming languages, frameworks, and tools you’ve worked with, and showcase any tech stacks you're familiar with. This will help us quickly see how you fit into the Tradermath team!
Let Your Passion Shine in Your Cover Letter:In your cover letter, don't just list your skills—tell us why you're passionate about software engineering! We love to see candidates who are eager to learn and grow, so share what excites you about this field and how a role at Tradermath can help you on your journey.
Demonstrate Your Learning Mindset:As this is an internship, focus on your willingness to learn and adapt! We’re keen to see examples of how you’ve tackled challenges or learnt new skills in the past. Bring that eagerness to your application, showing us that you're ready to dive into a real-world software environment at Tradermath!
How to prepare for a job interview at Tradermath
✨Showcase Your Coding Skills
Since you're aiming for a software engineering internship, be ready to code on the spot or discuss your past projects. Brush up on your problem-solving skills, and practise coding challenges on platforms like LeetCode or HackerRank. We want to see how you approach problems and apply your knowledge, so having a few coding examples up your sleeve will definitely help!
✨Bring Your Portfolio to Life
Prepare a portfolio that highlights your coding projects—don't just list them! Be ready to explain your thought process, the technologies used, and any challenges you faced. It’s not just about the final product; we want to hear how you made it happen, so this narrative will show your depth of understanding and passion for software development.
✨Get Familiar with Technical Questions
Expect some technical questions or scenarios in the interview that assess your understanding of algorithms, data structures, and software design. Practise explaining your coding decisions clearly—it's less about getting the right answer and more about demonstrating your thought process and reasoning skills, which are crucial for growth in an internship.
✨Highlight Your Willingness to Learn
As an intern, your enthusiasm and eagerness to learn are key! During the interview, emphasise your willingness to tackle new challenges and pick up new skills. Companies like Tradermath are often looking for candidates who can grow with them, so remind us why you're excited about opportunities to learn and contribute in a team environment.
