Senior Software Engineer/Computer Scientist, C++, AI/Autonomy Solutions for Aviation and Space Explo

This employer requires all employees, temporary labor, consultants, and contractors to be fully vaccinated against COVID-19.



KBR is looking for a C++ Senior Software Engineer to help with the evolution of NASA s PLEXIL planning/scheduling language and plan execution technologies.



This position centers around an open-source plan representation language and execution system called PLEXIL (plexil.sourceforge.net). The Planning and Scheduling Group is building automated and autonomous systems for NASA applications on a variety of platforms using PLEXIL. The successful candidate will work independently and with project teams to deliver these capabilities.



Responsibilities will include:

Evolution of the PLEXIL language

Integration of the PLEXIL Executive into flight software frameworks such as Core Flight Software

Development of PLEXIL plans for space and aviation applications

Integration of PLEXIL with autonomy planners and schedulers

Maintenance, development, extension, and documentation of the PLEXIL suite: Executive, compilers, translators, visualization tools, etc.

Exploration and research of new or alternative technologies for plan execution and high- level autonomy relevant to NASA missions



Required qualifications:

BS in Computer Science or a related field, MS preferred.

U.S. Permanent Residency

6-8 years of professional software development experience

Expertise in C++ programming and object-oriented design and patterns, and working knowledge of C++ language standards

Strong aptitude in software development life cycle, including testing and documentation

Must be able to work independently and take full ownership of a project

Experience with Agile software development methodologies

Experience with software management tools, such as, the Jira, Bitbucket, Confluence, Bamboo.

Excellent verbal and written communication skills



Desirable qualifications:

Cross-platform build scripts with CMake, GNU autotools, and/or GNU make

Additional programming languages: Shell scripting, Java, Python, XSLT

Development of portable C++ code for delivery on multiple platforms

Programming language design and implementation

Exposure to Core Flight Software (cFS) development and integration

Experience in robotics, autonomy/automation, aerospace, AI

Knowledge of discrete control, reactive systems, automated planning and scheduling, formal methods