Embedded Systems Software Engineer

Galois • Portland, OR

2d • Hybrid

About The Position

About Galois Who We Are: From building digital engineering tools that make space exploration safer to verifying cryptographic libraries that protect some of the world’s most valuable data, Galois develops technology to guarantee the trustworthiness of systems where failure is unacceptable. We are a community of researchers, engineers, and operations people dedicated to creating trustworthiness in critical systems in every functional area of the organization. Our unique organizational structure enables us to adapt to the needs of the innovative projects we deliver. What We Do: We believe trustworthy systems are built on a formal mathematical foundation. Our researchers apply formal analysis techniques to the design and verification of critical software systems, allowing us to model, analyze, and mathematically prove that a system behaves exactly as intended under all circumstances. With clients including NASA, DARPA, AWS, and the DoW, we leverage our cutting-edge research to deliver high assurance solutions and tools that enhance security, reliability, and operational efficiency across sectors including aerospace & defense, healthcare, semiconductors, and fintech. Research Engineers at Galois design and develop advanced technologies for safety- and security-critical systems, networks, and applications. Engineers work in small team settings and must successfully interact with clients, partners, and other employees in a highly cooperative, collaborative, and intellectually challenging environment. Life at Galois: People are the foundation of Galois’s success. As an employee-owned company, we care not only about the technologies we develop, but also the path we take to create them. Galois operates under a highly collaborative organizational model that encourages leadership and teamwork and respects the individuals. For more on our culture and organizational structure, visit Life at Galois . About This Role We are currently seeking researchers/engineers with embedded systems and software assurance expertise to perform research on embedded systems. Software assurance is pivotal in fulfilling our mission to make critical systems trustworthy.

Requirements

• Minimum of a BS in computer science, electrical engineering, or mathematics.
• Experience building highly performant and trustworthy cyber-physical software for mission-critical applications
• Experience with C, C++, and Rust programming languages
• Experience with advanced software analysis tools based on symbolic execution (e.g., Kani, Frama-C, Verus, or Astree)
• Experience developing, testing, and operationalizing capabilities in integrated (SWIL/HWIL) lab environments
• Ability to work in a small team to rapidly prototype and operationalize new features and capabilities
• Eagerness to learn new tools and techniques emerging from the R&D community
• Must work well with customers, including building rapport, identifying needs, and communicating with strong written, verbal, and presentation skills.
• Must be highly motivated and able to self-manage deadlines and quality goals
• Active and transferable U.S. government issued security clearance is required.
• U.S. citizenship is required, as only U.S. citizens are eligible for a security clearance.

Nice To Haves

• Experience developing control algorithms in MATLAB/simulink or Ansys SCADE
• In-depth understanding of formal verification principles, methods, and relevant standard industry practices

Responsibilities

• Requirements gathering: Engaging the client in a series of discussions, where each iteration refines the needs of the client and leads to suggestions for means to meet those needs.
• Architecture and design: constructing high-level architectural descriptions of systems, and constructing deeper designs by fleshing out architecture prototypes. Architectures must be designed with assurance in mind, determining where and how formal methods are to be applied.
• Implementation: extending design prototypes through to a finished product, with care taken to ensure robustness and ease of use.
• Software Assurance: use mechanical reasoning tools and techniques such as static analysis, property-based testing, bounded model-checking, or symbolic execution to demonstrate or analyze desired security and correctness properties of software systems.
• Testing and validation: constructing and regularly conducting system, unit, and regression tests, as well as conducting semi-formal validation and verification.
• Technology research and development: conducting speculative research and development of cutting-edge technology, and incorporating that technology in product prototypes.
• Technical infrastructure development: developing (designing, implementing, and maintaining) tools to be used within Galois, and developing library code to be shared among projects.

Benefits

• Employee Stock Ownership Plan (ESOP)
• 401(k) retirement plan with 5% employer match and immediate vesting
• Fully paid medical insurance plans, and dental and vision reimbursement plan
• Health Savings Account (HSA) with generous employer contributions
• Mental health and well-being support through our employee assistance program
• 5 weeks of paid time off and 9 days of paid company holidays each year
• 16 weeks of fully paid parental leave (available for birth, adoption, and fostering)
• 1 week of fully paid “Blue Sky” innovation time each year to pursue your interests

What This Job Offers

• Job Type: Full-time
• Career Level: Mid Level
• Number of Employees: 101-250 employees