Researcher in Requirements Formalization - Military veterans preferred

Title:

Researcher in Requirements Formalization

The Robust Software Engineering group at NASA's Ames Research Center works on increasing the reliability and robustness of NASA's mission related software, and the productivity of its software engineering, through the research, development, application, and transfer of automated software engineering technology that scales to meet NASA's software challenges. We draw upon many techniques from Computer Science (for example, in the areas of program verification, automated reasoning, model checking, static analysis, symbolic evaluation, and machine learning) and apply them to the verification and validation of software, as well as code generation. Technologies we have developed address automated software analysis, automated test case generation, reliable code generation, and risk prediction and analysis.

We are seeking a researcher to work on requirements engineering and in particular on building a tool that facilitates the elicitation, formalization and analysis of requirements for aerospace applications. The successful candidate will contribute to our work by:

• Extending and robustifying the FRET framework that is under development within our group. In particular, the successful applicant will initially focus on analysis of requirements, for example in terms of consistency and realizability.
• Studying requirements for a variety of NASA missions and in collaboration with mission engineers. Designing capabilities for FRET that facilitate the elicitation of such requirements.
• Applying and evaluating FRET in missions.
• Collaborating with other RSE members on connecting FRET with other research efforts.

Required Skills and Traits:

• PhD in computer science, preferably in software engineering, requirements engineering or formal methods.
• Expertise in requirements analysis in terms of consistency and realizability
• Strong software development skills, programming in Java or Javascript preferred, as well as a good handle of programming and debugging environments.
• An interest in applied research and in solving real world problems.
• Excellent communication skills.

(ISRDS Labor Category Computer Scientist II - Task 012)

Scheduled Weekly Hours:

40

KBR is an equal opportunity employer. All qualified applicants will receive consideration for employment without regard to race, color, religion, disability, sex, sexual orientation, gender identity or expression, age, national origin, veteran status, genetic information, union status and/or beliefs, or any other characteristic protected by federal, state, or local law.

KBR is a global provider of differentiated professional services and technologies across the asset and program lifecycle within the Government Solutions and Energy sectors. KBR employs approximately 38,000 people worldwide (including our joint ventures), with customers in more than 80 countries, and operations in 40 countries, across three synergistic global businesses:

Government Solutions , serving government customers globally, including capabilities that cover the full lifecycle of defense, space, aviation and other government programs and missions from research and development, through systems engineering, test and evaluation, program management, to operations, maintenance, and field logistics

Technology Solutions , featuring proprietary technology, equipment, catalysts, digital solutions and related technical services for the monetization of hydrocarbons, including refining, petrochemicals, ammonia and specialty chemicals, as well as inorganics

Energy Solutions , including onshore oil and gas; LNG (liquefaction and regasification)/GTL; oil refining; petrochemicals; chemicals; fertilizers; differentiated EPC; maintenance services (Brown & Root Industrial Services); offshore oil and gas (shallow-water, deep-water, subsea); floating solutions (FPU, FPSO, FLNG & FSRU); program management and consulting services

KBR is proud to work with its customers across the globe to provide technology, value-added services, integrated EPC delivery and long term operations and maintenance services to ensure consistent delivery with predictable results. At KBR, We Deliver .