Researcher in Requirements Formalization

    Moffett field, CA

    Job Description


    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:


    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.

    Posting ID: 558255397Posted: 2020-05-21