Runtime Verification, Inc., (RV) wants to add a Senior Software Engineer to its team that works on advanced data-race prediction for C/C++ programs.
Prior experience writing, testing, and debugging multithreaded C programs is essential in the role of Senior Software Engineer. 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, formal methods, or C++ 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 word "Careers" in the subject.