![Runtime Verification logo](/startups/assets/logos/runtime-verification.jpg)
Runtime Verification
We use runtime verification-based techniques to perform security audits on VMs and smart contracts on public blockchains
About
Runtime Verification Inc. is a technology company headquartered in Urbana, Illinois with staff spread across the globe, including Europe, South America, and Southeast Asia. We provide testing and verification services to public and private companies in the embedded and blockchain domains. In the latter we work with infrastructure builders as well as companies building products and providing services supported and/or powered by said infrastructure.
Open jobs
Browse and apply for open positions at Runtime Verification.
There are no job openings at Runtime Verification listed on Cryptocurrency Jobs right now. You can sign up to receive our weekly email with the latest crypto jobs.
Start a new search now to view all the great job opportunities at teams that are hiring.
Closed
Engineering
Compiler Engineer
Haskell Developer
Smart Contract Auditor
Sr. Technical Product Manager
Verification Engineer
Browse, connect and join a team
Related startups
![Wormhole logo](/startups/assets/logos/wormhole.jpg)
Wormhole
The platform enables developers to expand to 30+ blockchains with just one integration
![IDEO CoLab Ventures logo](/startups/assets/logos/ideo-colab-ventures.png)
IDEO CoLab Ventures
We invest in big ideas and good humans
![Prysm Group logo](/startups/assets/logos/prysm-group.png)
Prysm Group
Specializing in the economics of emerging technologies: blockchain, digital assets, metaverse, and more
![Quickbit logo](/startups/assets/logos/quickbit.jpg)
Quickbit
A crypto payments service that enables you to buy, hold, sell, swap, send and receive the major currencies
![XDEFI Wallet logo](/startups/assets/logos/xdefi-wallet.jpg)
XDEFI Wallet
One wallet for all your crypto
![SettleMint logo](/startups/assets/logos/settlemint.jpg)
SettleMint
We make blockchain transformation easy
![OAK Network logo](/startups/assets/logos/oak-network.jpg)
OAK Network
Builds a layer-1 for on-chain automation, and aims to be the cross-chain automation infrastructure for web3
![Magic logo](/startups/assets/logos/magic.jpg)
Magic
A wallet for every internet user