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.
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.
One of the best teams around.
Matching IRA contributions.
Casual dress code.
Top notch equipment.
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.
Diversity of ideas. Programming language fluency. Experience with test-driven development. Eagerness to learn. Willingness to listen. Good communication skills. Emotional intelligence.