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
Formal Methods Internship: Build Proof-Driven Tools 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.
