Senior Engineer sought by ARM Inc. in Austin, TX to own the design verification for one or more CPU functional block. Min Req: Master's Degree in Electrical Engineering or Computer Science or a related field and 2 years of experience or, in the alternative, a Bachelor's Degree in Electrical Engineering or Computer Science or a related field and 5 years of experience. Experience in pre-silicon formal verification techniques; simulation-based verification of out-of-order designs; CPU architecture and microarchitecture, including experience in the area of out-of-order microarchitecture and/or coherent memory systems; specification and creation of design testbenches using coverage driven verification methods; object-oriented programming, data structures, and algorithms; object-oriented programming, data structures, and algorithms; HDL's such as Verilog, SystemVerilog, and temporal logic assertion languages such as SVA; programming/scripting languages with excellent debugging skills; and, abstraction techniques and formal verification techniques. Send resume to: email@example.com. Reference #2024.