Jane Street is launching its first internships in the Formal Methods group of the OCaml Language team. You will be paired with mentors and work on a real-world project that blends your research with active initiatives, such as property-based testing of formal specifications or a refinement type system for correctness verification.
You’ll gain hands-on experience by evaluating your work on a large production codebase, attending guest speakers and social events, and experiencing what it is like to
#J-18808-Ljbffr
For the Formal Methods Internship: Build Proof-Driven Tools position at Tradermath, we are reviewing applications now.
The position is based in Greater London, England, United Kingdom.
This opportunity is part of our work in IT & Technology, Other.
The advertised compensation is 20.000 - 30.000.
We aim to respond to suitable candidates as soon as possible.