Booz Allen Hamilton-posted 3 months ago
$99,000 - $225,000/Yr
Full-time • Mid Level
Troy, MI
5,001-10,000 employees
Professional, Scientific, and Technical Services

Develop next-generation safety-critical systems. Work on cutting-edge embedded solutions development and advanced Model-Based Systems Engineering (MBSE) methodologies to deliver mission-critical solutions for our clients. Work on complex, high-stakes projects where system reliability and safety are paramount. Design, develop, and maintain embedded software for safety-critical systems using C or C++ and modern programming languages. Apply MBSE principles using UML and SysML methodologies. Utilize industry-standard MBSE tools, including Cameo Systems Modeler, MagicDraw, or Capella, for system architecture and design. Collaborate with multidisciplinary teams to translate system requirements into robust software implementations. Conduct software verification and validation activities in accordance with safety standards. Participate in design reviews, code reviews, and technical documentation. Support system integration, testing, and deployment activities. Contribute to continuous improvement of development processes and methodologies.

  • Develop next-generation safety-critical systems.
  • Work on embedded solutions development and advanced Model-Based Systems Engineering (MBSE) methodologies.
  • Design, develop, and maintain embedded software for safety-critical systems using C or C++.
  • Apply MBSE principles using UML and SysML methodologies.
  • Utilize MBSE tools for system architecture and design.
  • Collaborate with multidisciplinary teams to translate system requirements into software implementations.
  • Conduct software verification and validation activities in accordance with safety standards.
  • Participate in design reviews, code reviews, and technical documentation.
  • Support system integration, testing, and deployment activities.
  • Contribute to continuous improvement of development processes and methodologies.
  • 3+ years of experience in embedded software development.
  • Experience in C or C++ programming languages.
  • Experience with Model-Based Systems Engineering (MBSE) methodologies, including UML and SysML.
  • Experience with MBSE tools such as Cameo Systems Modeler, MagicDraw, or Capella.
  • Experience with real-time operating systems (RTOS) and embedded system architectures.
  • Knowledge of safety-critical system development principles and standards.
  • Ability to work on a team.
  • Ability to obtain a Secret clearance.
  • Bachelor's degree in Computer Science, Software Engineering, or Electrical Engineering.
  • Experience with Rust or Ada programming languages.
  • Experience with formal verification methods and tools and hardware-software design principles.
  • Experience with requirements management tools such as DOORS or Jama.
  • Experience in aerospace, defense, or automotive safety-critical domains.
  • Knowledge of communication protocols such as CAN, Ethernet, RS-422, SpaceWire, or MIL-STD-1553.
  • Knowledge of safety standards such as DO-178C, ISO 26262, IEC 61508, or NASA-STD-8719.24.
  • Ability to pay strict attention to detail.
  • Possession of excellent problem-solving and communication skills.
  • Secret clearance.
  • Master's degree.
  • Health, life, and disability insurance.
  • Financial and retirement benefits.
  • Paid leave.
  • Professional development.
  • Tuition assistance.
  • Work-life programs.
  • Dependent care.
  • Recognition awards program.
© 2024 Teal Labs, Inc
Privacy PolicyTerms of Service