Runtime Verification

Runtime Verification Inc. is a US startup headquartered in Urbana, Illinois with staff spread across the globe, including Europe 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.

Runtime Verification Remote
Jul 16, 2021
Full time
Runtime Verification Inc (RV) is looking for a Haskell Developer to join the company. You will work with the team developing the symbolic execution backend of K in Haskell, and with other teams in the company using K for formal verification. The ideal candidate has a strong programming background and knowledge about and experience with functional programming languages. What we offer One of the best teams around. Very competitive salary. Remote friendly. Matching IRA contributions. Casual dress code. Health insurance. Top notch equipment. Performance bonuses. Company lunches. Unlimited vacation. What we are looking for BS or equivalent in Computer Science, Mathematics, or a related field. Professional functional programming experience, preferably Haskell. Must be a considerate teammate with good communication skills. Eager learner with a demonstrable ability to solve problems. Nice to have MS/PhD or equivalent in Computer Science,...
Runtime Verification Remote
Jul 16, 2021
Full time
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 offer One of the best teams around. Very competitive salary. Remote friendly. Matching IRA contributions. Casual dress code. Health insurance. Top notch equipment. Performance bonuses. Company lunches. Unlimited vacation. What we are looking for Bachelor’s degree in Computer Science or Software Engineering. Proven experience writing smart contracts and familiarity with Solidity libraries. Good understanding of the Ethereum blockchain and dapp architecture....
Runtime Verification Remote
Jul 16, 2021
Full time
Runtime Verification Inc is looking to hire a Verification Engineer (multiple openings). The successful hire will have previous verification experience; academic, industrial, or both. Knowledge of formal semantics and formal verification is a big plus. The selected hire will be embedded inside one of the company’s blockchain ecosystem teams where he or she will work on verification engagements for commercial clients. What we offer One of the best teams around. Very competitive salary. Remote friendly. Matching IRA contributions. Casual dress code. Health insurance. Top notch equipment. Performance bonuses. Company lunches. Unlimited vacation. What we are looking for Bachelor's degree, and preferably Masters Degree in Computer Science or Software Engineering. Proficient English communication, both written and spoken. Team oriented mindset, able to fully complete tasks & objectives independently. Experience with unit testing, documentation,...