Formal Verification Jobs

Stellar is an open-source blockchain network designed to facilitate fast, low-cost cross-border payments and financial transactions globally.

Movement Labs builds Move-based blockchain infrastructure that bridges the security of the Move programming language with Ethereum's ecosystem and liquidity.

Permissionless Interest Rate Swap Markets

Stellar is an open-source blockchain network designed to facilitate fast, low-cost cross-border payments and financial transactions globally.

Compound Finance is a decentralized finance (DeFi) protocol that provides a global market for capital, enabling users to earn yield on deposited assets and borrow against crypto collateral. It serves crypto asset holders and DeFi users seeking to earn yield, access liquidity, or borrow against established digital assets like ETH, WBTC, and stablecoins.

Compound Finance is a decentralized finance (DeFi) protocol that provides a global market for capital, enabling users to earn yield on deposited assets and borrow against crypto collateral. It serves crypto asset holders and DeFi users seeking to earn yield, access liquidity, or borrow against established digital assets like ETH, WBTC, and stablecoins.

The Better Money Company (TBMC) is building a stablecoin clearinghouse that connects stablecoin issuers to fintechs, banks, neobanks, and other businesses building with stablecoins. It brings fungibility to stablecoins, enabling redemption-based swaps at par ($1 in = $1 out) with fixed pricing and guaranteed settlement times. TBMC serves payment companies, fintechs, neobanks, and stablecoin issuers who need reliable, compliant infrastructure for stablecoin movement and settlement.

Stellar is an open-source blockchain network designed to facilitate fast, low-cost cross-border payments and financial transactions globally.

IOHK builds high-assurance blockchain infrastructure through academic research and evidence-based development for public and private sector clients.