SGT Inc - Mountain View, CA

This job posting is no longer available on CareerBuilder. Find similar jobs: Research Engineer jobs - SGT jobs

Do you consider yourself a World Class Engineer? If so, well that is what we are looking for..........Work in a small team (2 - 4 personnel) at NASA Ames Research center to support development of a toolset for automated construction and assessment of safety cases. Advocate is an Eclipse-based tool that provides graphical editing and transformations for the creation and analysis of safety cases. Extend Advocate to incorporate results from formal analyses; extend user interface to allow display and manipulation of large safety cases. Write user guides and other technical documentation following established models.
Must have US Citizenship or Green CardRequired Skills: Proficiency with Java software development Eclipse development environment Linux scripting (bash, sh) technical writing skills familiarity with C/C++ XML including XSD, generation, and parsing experience developing tools for software engineering tasks such as program analysis, test generation, code generation Eclipse Modeling Framework (EMF), EMF Core Eclipse plugin structure and plugin development software development tools including source code control and bug tracking architecture development and refactoring unit testing Desired Skills: knowledge of formal methods including theorem proving and automated provers developing axioms and axiomatic systems basic understanding of model transformations proficiency with Prolog meta-programming to generate JavaScript Please email your Word formatted resume to for review. Indicate your availability, salary requirements and citizenship status.

CareerBuilder - 20 months ago - save job - block
Recommended Jobs
Phosphor R&D Technician
Intematix - Fremont, CA
Intematix - 5 days ago
Easily apply

Process Engineer
Zyomyx - Fremont, CA
Zyomyx - 8 days ago
Easily apply

Princ Research Engineer
Symantec - Mountain View, CA
Symantec - 5 days ago
About this company
3 reviews