Runtime Verification, Inc., (RV) wants to add a Senior Software Engineer to its team that makes verification tools for C and C++ programs.
RV is a growing startup whose software tools help developers make safe, reliable software that runs on automobiles, airplanes, spacecraft, and the blockchain. RV’s verification technology is state-of-the-art, and the company employs leading experts in software engineering and verification.
RV offers great benefits, and its offices have the best views in downtown Urbana.
In the role of Senior Software Engineer, prior experience writing, testing, and debugging multithreaded C or C++ programs is essential. Familiarity with assembly language, operating system internals, embedded systems, or real-time operating systems is highly desirable.
Experience with test-driven development, Java, compiler implementation (especially using LLVM), functional programming, or formal methods is a plus.
In addition to being technically astute, a successful Senior Software Engineer at RV has to be a considerate teammate with good communication skills, and an eager learner with a demonstrable ability to solve problems.
To apply to this position, email a cover letter and résumé to . Use the words “Careers” and “Senior Software Engineer” in the subject.