Formal Methods Research and Development Intern at Jane Street | JobSearch