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
Streamr
The next-generation P2P network for streaming data and real-time messaging
Constellation Network
A decentralized network that enables anyone to build the future of Web3 with fast and feeless transactions
Thesis
Web3 venture studio
ArcBlock
We want to make DApps a part of our everyday lives by making it easily accessible and useful
HashCloak
Blockchain R&D lab focused on vertically-integrated blockchain privacy
RabbitHole
We make it easy to earn crypto by participating in the best cryptonetworks
Edge & Node
We create and support protocols and dapps that empower individuals and move humanity forward
Aurora
A next-generation Ethereum compatible blockchain and ecosystem that runs on the NEAR Protocol