Systems/Hardware Formal Verification Research Engineer
Description For Systems/Hardware Formal Verification Research Engineer
Galois is seeking a Systems/Hardware Formal Verification Research Engineer to join their mission of ensuring trust in critical systems. This role combines cutting-edge research with practical engineering in hardware verification. As an employee-owned company, Galois offers a unique collaborative environment focused on solving complex computer science challenges. The position involves working with formal verification methods, hardware engineering, and security-critical systems.
The ideal candidate will work in small teams, engaging directly with clients while applying formal verification techniques to hardware systems. This role requires expertise in formal methods, hardware verification, and programming languages like Rust or Haskell. The position offers significant intellectual challenges and the opportunity to work on high-impact projects in hardware assurance.
Galois provides an exceptional benefits package, including equity through ESOP, comprehensive healthcare, generous PTO, and innovative perks like "Blue Sky" innovation time. The company's transparent compensation model and collaborative culture create an environment where technical excellence meets real-world impact. This role requires working from their Portland office and maintaining a Secret security clearance.
The company's commitment to diversity, equity, and inclusion, combined with their focus on first principles and transparency, makes this an ideal opportunity for someone passionate about formal methods and hardware verification. You'll be part of a community of researchers and engineers dedicated to creating trustworthy critical systems while enjoying the freedom to pursue your technical interests and career growth.
Responsibilities For Systems/Hardware Formal Verification Research Engineer
- Requirements gathering and client engagement
- Architecture and design of systems with assurance in mind
- Implementation of robust and user-friendly products
- Formal verification using mechanical reasoning tools
- Testing and validation of systems
- Technology research and development
- Technical infrastructure development
- Development of tools and library code
Requirements For Systems/Hardware Formal Verification Research Engineer
- Bachelor's degree in computer science, electrical or computer engineering, or equivalent (MS or PhD preferred)
- In-depth understanding of formal verification principles and methods
- Experience in logic-based formal verification
- Expertise in applying formal property verification on micro-architectures
- Knowledge of hardware engineering languages (Chisel, Bluespec, SystemVerilog, Verilog)
- Programming experience with Haskell, Verifiable C, or Rust
- Must hold and retain a Secret security clearance
- Strong customer interaction and communication skills
- Self-motivated with ability to manage deadlines and quality goals
Benefits For Systems/Hardware Formal Verification Research Engineer
- Employee Stock Ownership Plan (ESOP)
- 401(k) retirement plan with 5% employer match
- Fully paid medical insurance plans
- Dental and vision reimbursement plan
- Health Savings Account (HSA) with employer contributions
- Mental health support through employee assistance program
- 5 weeks paid time off
- 9 days paid company holidays
- 16 weeks fully paid parental leave
- 1 week paid 'Blue Sky' innovation time
Jobs Related To Galois Systems/Hardware Formal Verification Research Engineer
