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 NASAs 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