Job description

Duties: The successful candidate would assist a a team of researchers and developers to (1) develop and test software tool for generating monitors from high-level specifications and integrate them with existing instrumentation technologies and (2) perform case studies of the tool, integrating generated monitors with large-scale software systems provided by industrial collaborators.

This is a one-year term position.

Qualifications: A Bachelor's degree in computer science or related field, and 0-1 year of experience, or equivalent combination of education and experience, are required; at least 2 years of work experience in developing and testing software preferred.

- Proven ability to work in a dynamic team;
- Working knowledge of C and python and proven ability to develop and debug software in these languages;
- Familiarity with compiler or code generation technologies.

In addition, familiarity with high level specifications, such as state machines and temporal logics is a strong plus.

Reference Number: 13-29891

Salary Grade: A

Employment Type: Non-Exempt

Org: Computer and Information Science

Special Requirements: Background check required after a conditional job offer is made. Consideration of the background check will be tailored to the requirements of the job.

Job Family: W-Information/Message Distribution




Diversity Profile: University



View more

Learn more on Inside Higher Ed's College Page for University

Arrow pointing right
Job No:
Posted: 9/11/2018
Application Due: 1/10/2019
Work Type: