Formal Verification Engineer

Summary

Join Untether AI as a Formal Design Verification Engineer and contribute to creating innovative hardware and delivering industry-leading AI performance and efficiency.

Requirements

• Bachelor's or Master's degree in Electrical Engineering or Computer Engineering
• 3+ years' experience with hands-on design verification with 2+ years in formal verification

Responsibilities

• Drive Formal Verification Methodology on multiple components inside Custom AI Inference IP
• Evaluating various formal verification technologies and flows

Benefits

• 20 vacation days
• Strong health and extended health benefits
• Unlimited sick days
• Stock options