Runtime Verification seeking an experienced C engineer

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
contact (at) (our domain) (dot) com. Use the word "Careers" in the subject.

Leave a Reply

Your email address will not be published. Required fields are marked *