Website Jacobs

Formal Methods Engineer  (AS0004JO)
Description

 

Are you passionate about human space exploration or understanding the origins of the universe, and working with a dynamic and diverse team to make a difference?  If you are, we need you! 
 
We need your commitment, teamwork, and energy to help us achieve great things that inspire humans all over the globe.  We need you to bring innovative ideas and diverse backgrounds to help us envision, shape, and deliver systems that will benefit the quality of life of people around the world.  We are excited about what we do, and we need you on our team as we take on new challenges for NASA’s pursuits in deep space exploration.  Jacobs is NASA’s largest engineering solutions provider working alongside NASA at centers across the United States.
 
We have the unique and significant role to partner with NASA at Johnson Space Center (JSC), to be part of every human spaceflight program – the International Space Station (ISS), NASA’s Orion spacecraft, which will carry astronauts into deep space, and Gateway, the orbiting platform providing the home for astronauts to work and travel back and forth to the moon’s surface, and serving as the platform for deep space exploration. From critical systems on the ISS to enable astronauts to live and work in space; to performing advanced development for systems leading to deep space exploration; to being part of the foundation for Gateway. 
 
We also partner with NASA at JSC, the only NASA center in the United States to curate all astromaterial samples returned from exploration missions, to perform curation services, orbital debris analysis, and basic research to further humankind’s understanding of the origins of our solar system.
 
We need you to be a part of our team!
 
We are currently in need of a Formal Methods Engineer to join our team with ERC, Inc., a JETS teammate company.  Do you have the following skills?

 
As a Formal Methods Engineer you will:
  • Develop certification plans for complex autonomous systems.
  • Perform contract-based system design.
  • Write system interface specifications.
  • Execute formal methods for model checking, theorem proving, static analysis, and runtime monitoring.
  • Perform other duties as required.

 

Qualifications

 

Required Education/Experience/Skills:
 
This position has been posted at multiple levels. Depending on the candidate’s experience, requirements and business needs, we reserve the right to consider candidates at any level for which this position has been advertised.
  • Typically has a BS degree in a computer or system science discipline from an accredited college or university.
  • Experience with formal methods (model checking, theorem proving, static analysis, or runtime monitoring).
  • Experience with formal logics and writing specifications.
  • Excellent communication, negotiation, and coordination skills, and strong customer service attitude.
Preferences:
  • Experience with certification plans for complex autonomous systems.
  • Experience with contract-based design.
  • Experience with distributed verification.
  • Proficiency with C/C++ coding.
  • Proficiency with Linux.
  • Proficiency with scripting languages such as Python.
  • Avionics and Software Architecture.
  • NASA software and systems development standards.
 
Why Work on Our Team?
 
Click on the below links to view just a small sample of all that we do!  Come join our team and be part of our future.  We look forward to seeing you!
 
Jacobs Aerospace Solutions Overview
(Please view in Chrome or Microsoft Edge)
 
For more information on our partnership with NASA at Johnson Space Center, please visit www.wehavespaceforyou.com
 
In addition to exciting career opportunities we also have:
  • Excellent personal and professional career growth
  • 9/80 work schedule (every other Friday off)
  • Onsite cafeteria (breakfast & lunch)
  • Comprehensive Benefit Package (medical, dental & vision)
  • 401(k)
  • Tuition Reimbursement
  • Much, much more!
  If you have the qualifications to do this job, we can use your help
For immediate consideration, please apply at http://www.wehavespaceforyou.com
 
  • Must be a U.S. Citizen and successfully complete a U.S. government background investigation.
  • Management has the prerogative to select at any level for which this position has been advertised.
Essential Functions
Work Environment
Generally an office environment, but can involve inside or outside work depending on task.
 
Physical Requirements
Work may involve sitting or standing for extended periods (90% of time). May require lifting and carrying up to 25 lbs (5% of time).
 
Equipment and Machines
Standard office equipment (PC, telephone, printer, etc.).
 
Attendance
Regular attendance in accordance with established work schedule is critical. Ability to work outside normal schedule and adjust schedule to meet peak periods and surge requirements when required.
 
Other Essential Functions
Must be able to work in a team atmosphere. Must put forward a professional behavior that enhances productivity and promotes teamwork and cooperation. Grooming and dress must be appropriate for the position and must not impose a safety risk/hazard to the employee or others.

 

Jacobs is an Equal Opportunity/Affirmative Action Employer. All qualified applicants will receive consideration for employment without regard to race, color, religion, sex, sexual orientation, gender identity, national origin, disability, veteran status or other characteristics protected by law. Jacobs is a background screening, drug-free workplace.

 

Primary Location

: United States-Texas-Houston

Job Posting

: May 30, 2019, 4:24:44 PM