The Runtime Verification Internship Program

Runtime Verification Inc. is a technology company headquartered in Urbana, Illinois with staff spread across the globe. We welcome interns to either work with us remotely, or to join us in Urbana. Urbana, the home of the University of Illinois, and its sister city of Champaign, are located roughly 2.5 hours South of Chicago, 2 hours West of Indianapolis, and 3 hours North of St. Louis. In 2018, Champaign scored the #1 spot in the Best Cities for Recent College Grads ranking, and #2 overall (out of 42 communities) in the Silicon Prairie region. 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.


What we are looking for

Runtime Verification Inc (RV) is always looking for brilliant people. If you just started an academic program in Computer Science, or you are about to graduate, we want to hear from you. While at RV, you can grow professionally, and score a full-time job if you do well.

We encourage Summer Internships because we know how hard it is to do well in school while spending 20h/week in a challenging job. If you don't have industry experience already, feel free to apply to any of our open positions as an intern and we'll try it out.

In order for you to get the most out of your internship we expect that you either specialize in, or have a proven strong interest in, at least one of the following: formal methods, functional programming, compiler development, security, smart contracts.


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.


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.

We want you to grow with us

We are committed to your professional development. Want to attend a conference that you feel will help your own development? Consider it booked. We have accomplished educators on our team. They will help you grow as both a technologist and person.


What we expect

Diversity of ideas. Programming language fluency. Experience with test-driven development. Eagerness to learn. Willingness to listen. Good communication skills. Emotional intelligence.



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 contact media kit blog