Engineer

• Develop and execute formal verification strategies specifically targeting arithmetic logic units (ALUs), floating-point units (FPUs), dividers, multipliers, and custom math blocks
• Develop formal verification testbenches and properties for arithmetic hardware designs
• Collaborate with RTL designers to understand microarchitectural details and identify verification targets
• Write and debug formal arithmetic specifications
• Use formal tools (e.g., JasperGold, VC Formal, OneSpin) to prove correctness or find corner-case bugs
• Analyze counterexamples and work with design teams to resolve issues
• Contribute to the development of verification methodologies and best practices
• Document verification plans, results, and coverage metrics

Arithmetic Formal Verification Engineer

Lead SIEM Engineer

Water Resources Engineer

Project Engineer II – Turbomachinery Control Systems

Senior High Voltage Commissioning Engineer

Water Engineer