Full-Stack Web Developer

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.


Job description

Runtime Verification Inc (RV) is looking for a Full-Stack Web Developer to join the company and be part of the core product team(s). The ideal candidate has an entrepreneurial nature and a strong technical background.

This will be your opportunity to deliver on the technical side of product development. If you’ve been thinking about building something awesome, this is your chance to work with a well-funded, highly skilled team, and a top notch list of internal and external advisors.

We hope this level of ownership will fire up your creativity and drive to build products, get things done, and set you and the team up for success. Just bring your knowledge and passion.

We have a backlog of product ideas to get you started, but we highly encourage you to bring your own. The RV products of the future can be:

  • Internal tools to help our engineers, or external for ecosystem developers.
  • In the blockchain or embedded systems.
  • Rooted in formal methods or not.

You will work directly with the company’s technical leadership, as we are a very flat organization.

Status: Full time Location: Remote


What we offer

What we offer banner image
One of the best teams around

One of the best teams around.

Competitive salary

Competitive salary.

Remote friendly

Remote friendly.

Matching IRA contributions

Matching IRA contributions.

Casual dress code

Casual dress code.

Health insurance

Health insurance.

Top notch equipment

Top notch equipment.

Performance bonuses

Performance bonuses.

Company lunches

Company lunches.

Unlimited vacation

Unlimited vacation.


Must have

  • BS or equivalent in Computer Science.
  • Proficient in HTML/JavaScript/CSS front-end development.
  • Experience with modern front-end frameworks, preferably React.js.
  • Experience with Node.js, Python, Go, or Haskell back-end development.
  • Experience with SQL database.
  • Must be a considerate teammate with good communication skills.

Good to have

  • Experience with Web3 dapp development.
  • Experience with developing web apps using functional programming languages such as PureScript and Haskell.
  • Contributions to open-source projects.
  • Prior startup experience.

What's in it for you?

  • Opportunity to work at the forefront of programming language design and verification.
  • Casual work environment with flexible work hours.
  • Full benefits package available for US based employees. Includes unlimited paid time off, retirement benefits, employer sponsored health / dental / limited life insurance.

How to apply


company mission and vision news team careers publications presentations videos faq Embedded Systems Blockhain Advisory Services Smart Contract Verification Protocol Verification Formal Design and Modeling The IELE Virtual Machine Partnerships Algorand Foundation contact media kit blog