Careers at Reactive Systems

Reactive Systems develops and sells the Reactis family of products that help embedded software developers test and verify their applications. Please consider our open positions listed below.

Software Engineer

Location: Cary, North Carolina

Job Summary

Reactive Systems seeks an energetic software engineer to assist in the development of its Reactis® product line.

Reactive Systems develops and sells the Reactis family of products that help embedded software developers test and verify their applications. Reactis supports both model-based design with Simulink and hand-coding applications in C. Reactis has three main components:

• Reactis Tester generates comprehensive yet compact test suites from either a Simulink model or from C code.
• Reactis Validator helps a developer check if a model or code satisfies its requirements.
• Reactis Simulator is an advanced model and code debugger that supports the execution of tests to diagnose and debug any issues uncovered by Tester or Validator.

In your role as a software engineer, you will be a part of a small, but highly-efficient, development team for the Reactis product line. You will be writing code both to enhance existing features and create new functionality. Much of the code base consists of interpreters for different modeling and programming languages (e.g. Simulink, Stateflow, Embedded MATLAB, C), so experience with compilers or related language processing tools is a plus. Experience with formal verification or testing tools would be of interest but is not required. The primary programming languages we use are Standard ML and C++. We are willing to train you in these languages if you have not used them, but have experience in developing substantial programs in other languages.

While your primary responsibility will be coding, you will have the opportunity to wear other hats also. Part of your role will be to support prospective and current users to ensure they realize the maximum possible benefit from Reactis. In this capacity, the ability to interpret user feedback, and diagnose and resolve pertinent issues, will be important. Additionally, you will assist with quality assurance of our products, both through manual testing and through the development of automated tests.

Reactive Systems offers competitive compensation and benefits packages.

Minimum Qualifications

• BS, MS, or PhD degree in Computer Science or related engineering field
• Excellent written and verbal communication skills
• Great problem solving skills
• Programming experience

Preferred Qualifications

Experience with:

• Model-Based Design with MATLAB, Simulink, Stateflow
• Programming in C, C++
• Programming in Standard ML
• Software testing
• Formal verification

Interested parties should send resume and contact information to careers@reactive-systems.com.

---

Reactive Systems is an equal opportunity employer committed to evaluating all qualified applicants without regard to race, color, ancestry, religion, sex, national origin, sexual orientation, age, citizenship, marital status, disability, gender identity, Veteran status, or any other factor protected by applicable federal, state, or local laws.