Top Tech Jobs & Startup Jobs

Interns work on FPGA and ASIC projects using OCaml and Hardcaml to design, test, and validate RTL. Paired with mentors, you'll build end-to-end hardware designs, use vendor tools (Vivado/Quartus/Genus/Innovus), and apply hardware construction languages in a networking context.

As a Quantitative Researcher at Jane Street, you will build models, analyze datasets, create strategies for trading, and write implementation code, primarily in OCaml.

As a Data Specialist, you will analyze, onboard, validate, and improve large data sets for trading while collaborating with engineers and traders.

The Learning and Development Specialist will design and facilitate engaging learning experiences, manage projects, and improve content based on feedback. Requires collaboration with HR and subject-matter experts.

The AML Onboarding Analyst will onboard trading counterparties, analyze counterparty risk, and develop compliance policies in collaboration with various teams.

Design and build internal systems and tools across the firm, from trading desks to accounting. Implement foundational infrastructure (monitoring, risk models), work with OCaml and Python, contribute to and leverage open source, and solve critical, production-facing engineering problems.

Work alongside full-time ML researchers on end-to-end projects applying state-of-the-art models to large, nonstationary market datasets. Tasks include data exploration, model development, hyperparameter tuning, debugging training, and analyzing model predictions using large-scale compute and GPU resources. Internship-focused, with heavy emphasis on practical ML implementation and iteration.

The Commercial Contracts Attorney will review and negotiate contracts, support procurement processes, and advise teams on legal matters related to commercial contracts.

Protect firm employees, data, and infrastructure by developing and using monitoring tools, performing incident response and remediation, conducting unstructured investigations, and promoting cybersecurity best practices across the organization.

Build and grow a Formal Methods team to develop practical tooling that verifies and validates agent-generated code. Combine deep formal-methods research (proof assistants, theorem provers, static analysis, refinement types, program logics) with strong software engineering to create tools used across the firm.