Formal Methods R&D Internship: Mentored Research
-
Research/Development
Job Description & How to Apply Below
Jane Street is launching its first internships in the Formal Methods group of our OCaml Language team. Interns will work with mentors on real projects—such as adding property-based testing for formal specifications or developing a refinement type system for verification.
You’ll evaluate tools on a large, actively developed codebase and attend guest lectures and events. We seek PhD students, postdocs, and masters students with outstanding research in verification, semantics, testing, static
Consider building your career as a Formal Methods R&D Internship:
Mentored Research at Tradermath.
Our group is growing, and we are hiring a Formal Methods R&D Internship:
Mentored Research in New York, NY, United States.
This opportunity is for the Formal Methods R&D Internship:
Mentored Research role at Tradermath.
We are seeking a motivated Formal Methods R&D Internship:
Mentored Research to join Tradermath in New York, NY, United States.
Position Requirements
Less than 1 Year work experience(If this job is in fact in your jurisdiction, then you may be using a Proxy or VPN to access this site, and to progress further, you should change your connectivity to another mobile device or PC).
View / Apply for Jobs
Matching My Jurisdiction