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

Galaxy Ventures

Portfolio Jobs

Apply to jobs in the Galaxy Ventures portfolio.

My job alerts

Veridise

veridise.com

Locations

Austin, TX, USA

industry

Blockchain and Crypto

Size

11-50 employees

Stage

Series A

founded in

2022

Veridise provides a comprehensive and user-friendly toolchain for automatically auditing smart contract security and correctness. Based on our research publications at top security and verification conferences, Veridise makes it possible to audit modern DeFi applications with a high degree of automation, precision, and scalability. Beyond fully automated checking of common security vulnerabilities, Veridise provides a user-friendly specification language for expressing custom correctness properties of DeFi apps and incorporates a robust verification toolchain for automatically checking such properties. Veridise further distinguishes itself from its competitors through its ability to generate attacks: When Veridise uncovers a problem, it can produce tangible evidence of exploitability by generating an attacker that utilizes the uncovered vulnerability.

Something looks off?

Open jobs at Veridise

On-site & Remote

Job function

Powered by Getro

Privacy policy Cookie policy

.

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.

Portfolio Jobs

.

Top Stories of the Week - 1/12

Trading Takes | January 12, 2024

Bitcoin ETFs Finally Launch w/ Eric Balchunas (Bloomberg)