Research Engineer
Hybrid · Portland, Oregon, United States or Dayton, Ohio, United States
Job Summary
Research Engineers at Galois design and develop advanced technologies for safety- and security-critical systems. Responsibilities include requirements gathering, systems architecture and design, implementation of prototypes, formal verification using mechanical reasoning tools, and technology research and development. Successful candidates will have a strong background in programming languages and formal methods, proven experience in software development, and excellent customer interaction skills.
Required Qualifications
- A minimum of a Bachelor's degree in computer science or equivalent is required.
- Hands-on experience developing software and applying formal verification techniques.
- Familiarity with diverse formal methods such as model checking, theorem proving, program analysis, and formal semantics of programming languages.
- Experience in all aspects of software engineering practices.
Desired Qualifications
- Direct experience in developing high-assurance systems and/or security products.
- Experience with Model Based Systems Engineering tools, with expertise in SysML and AADL.
- Knowledge of hardware engineering languages and platforms such as VHDL, Chisel, Bluespec, SystemVerilog, and Verilog.
Additional Requirements
- Active and transferable U.S. government issued security clearance is required.
- U.S. citizenship is required.
Apply with one swipe on Sorce. We auto-fill applications and apply on your behalf — no cover letters, no 40-minute forms.
Hiring someone like this?
Get your role in front of qualified candidates on Sorce.