APPLICATION DEVELOPER A
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