Junior Formal Verification Engineer

SiFive

Austin, Texas, United States
Apply Now!

We at SiFive are looking for a Junior Formal Verification Engineer to join our growing team working on implementing a novel application of formal verification methodologies to parameterizable CPU IP generators. SiFive is looking for someone with outstanding knowledge and skills in formal verification who will build a formal environment to be used specifically with SiFive’s functional programming-based hardware design suite. Location: The ideal candidate for this position can work out of one of our US offices, preferably Austin, TX or Santa Clara, CA. Responsibilities:

Requirements: