Galois, Inc. · 6 days ago
Embedded Systems Software Engineer
Portland, OR
Full-time
Hybrid
Mid LevelGalois, Inc. is dedicated to creating trustworthy systems in critical areas such as aerospace and defense. They are seeking a Research Engineer with expertise in embedded systems and software assurance to engage in research, design, and development of advanced technologies for safety-critical systems.
AnalyticsCyber SecurityHuman Computer InteractionInformation TechnologyMachine LearningNational SecurityRisk ManagementSecuritySoftware
No H1B
Security Clearance RequiredU.S. Citizen Only
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
Qualification
Required
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
Preferred
Experience developing control algorithms in MATLAB/simulink or Ansys SCADE
In-depth understanding of formal verification principles, methods, and relevant standard industry practices
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
Company
Galois, Inc.
Galois’ mission is to create trustworthiness in critical systems.
Founded in 1999
51-200 employees
Funding
Current Stage
Growth StageTotal Funding
$0.25MKey Investors
US Department of Energy
2022-01-11Grant· $0.25M
Leadership Team
Daniel Boyer
CFO
Andrew Saxton
Chief Revenue Officer
Recent News
Dayton Daily News
2024-10-20
Yahoo News Singapore
2024-05-20
Company data provided by crunchbase