Top Tech Jobs & Startup Jobs

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.

Work alongside quantitative researchers to identify market signals, analyze large financial datasets, design and test models, and develop trading strategies. Participate in classes, seminars, and collaborate on end-to-end strategy production, including experiment design, feature engineering, and model validation.

Mentored software engineering internship building real production-quality systems. Work primarily uses OCaml (some teams use Python). Interns collaborate with full-time engineers on projects ranging from high-performance trading systems to programming language design, focusing on learning, maintainable code, and practical software development.

10-12 week internship working alongside salespeople and sales-traders to engage institutional clients, learn trading fundamentals across asset classes, complete real-world projects, attend classes and speaker events, and develop analytical, client-relations, and communication skills.

The HR Generalist will support employees by fielding HR queries, advising on policies, and assisting in benefit administration while collaborating on HR projects.

The Cybersecurity Engineer protects company assets through firm-wide defenses, incident response, and employee awareness initiatives, requiring strong technical skills and collaboration.

Support the Fundamental Research team on live projects across asset classes by evaluating trade ideas, performing due diligence, conducting valuation analysis for equity offerings, and documenting findings. Integrate traditional investment analysis with quantitative strategies and coordinate with internal stakeholders to gather information and feedback.

Interns pair with full-time mentors to maintain and improve a multi-vendor network supporting trading and internet traffic. Tasks include debugging routing protocols, provisioning feeds and third-party connections, site expansions and colocation work, automating support tasks, improving monitoring, performing root-cause analysis, and building production-ready solutions. Work involves command-line *nix use and programming to automate and instrument network operations.

Hands-on ML internship working on real production ML projects with mentor guidance. Build and optimize ML models and workflows using a large GPU cluster for noisy financial data; collaborate with engineers and attend ML-specific training and technical interviews.

The Cybersecurity Engineer will protect data and infrastructure, lead awareness efforts, analyze events, and respond to incidents while understanding the balance between security and usability.