galaxy venture portfolio, portfolio company, venture investing, stage-agnostic, investments, protocols, scaling solutions, DeFi, web3, infrastructure,

Galaxy Ventures

Your next career starts here.

Apply to opportunities at industry leading companies within the Galaxy Ventures portfolio.

Join our Talent Network

Formal Methods Researcher for ZK

Veridise

This job is no longer accepting applications

See open jobs at Veridise.See open jobs similar to "Formal Methods Researcher for ZK" Galaxy.

Remote

Posted on Feb 22, 2026

null

This job is no longer accepting applications

See open jobs at Veridise.See open jobs similar to "Formal Methods Researcher for ZK" Galaxy.

See more open positions at Veridise

.

Important Information: The information contained herein is being provided to you by Galaxy or its relevant affiliate (“Galaxy”) solely for discussion purposes and may not be used or relied on for any purpose (including, without limitation, as legal, tax, endorsement or investment advice). The Information is not an offer to buy or sell, nor is it a solicitation of an offer to buy or sell. Galaxy is not offering these positions, nor is it responsible for preparing or independently verifying for its accuracy and disclaims any liability for its contents and any decision to apply in reliance thereon. Disclaimers. Privacy Policy. Terms & Conditions. Brokercheck.

Helping companies, investors, and industry trailblazers navigate the crypto and digital asset economy.

Simple and secure access to digital assets via institutional-grade funds.

GK8 offers institutions an end-to-end solution to manage blockchain-based assets without relying on 3rd party custody.

Recent Insight

Top Stories of the Week - 1/12

Digital Assets Academy

Invesco and Galaxy to Offer Efficient Exposure to Spot Bitcoin Through the Invesco Galaxy Bitcoin ETF (BTCO)

Together we engineer a new economic paradigm.

Your next career starts here.

Formal Methods Researcher for ZK

.

Top Stories of the Week - 1/12

Trading Takes | January 12, 2024

Tokens, DeFi, and Lending with Zack Pokorny