Company InformationCompany Information
Runtime Verification Inc. is a technology company headquartered in Urbana, Illinois with staff spread across the globe. 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 powered by said infrastructure.
Position DetailsPosition Details
Runtime Verification Inc is looking to hire a Smart Contract Auditor. The successful hire will have previous experience auditing Ethereum smart contract and is well versed and familiar with the various tools available to auditors. Moreover, this person must be comfortable exploring and researching new, possibly unconventional, technologies to do this work, such as ones based on formal methods and verification; knowledge of formal semantics and verification is welcome but not required.
What we are looking for:What we are looking for:
What’s in it for you?What’s in it for you?
How to ApplyHow to Apply
Please send a cover letter and resume to [email protected]. Please add Smart Contract Auditor in the subject line.[email protected][email protected]
Blockchain Auditor, Quantstamp
Lead Business Development and Partnerships, DIA| $75k - $95k
Project Manager, Unstoppable Domains
Smart Contracts Engineer, AxelarToronto, Canada
Offensive Security Engineer, HalbornNew York, United States | $40k - $140k