Field Application Engineer… FAE...FORMAL
Valley (Other locations considered) #5369
My client is a leader in Verification and simply a great company; they treat their people well. Their software tools help companies to build extraordinarily reliable chips,that help the world's most innovative companies to create bug-free digital integrated circuits. They are pioneers of advanced formal techniques to solve practical verification challenges. Their focus is on formal verification of chip designs and they provide unique, award winning solutions for tough problems.
The right candidate will do Presales and some Post–sales support. They must have strong customer facing skills and own the technical side of the customer relationship, helping the company develop their product. Technically, you will help to enable customers to apply property checking solutions for Formal and Functional Verification of complex modules, IP, processors, and sub-systems, as well as equivalence checking solutions for synthesis and verification for ASIC and FPGA designs.
You will create and perform technical presentations and demonstrations at customer site, and drive and manage technical evaluations.
The successful candidate will possess the following combination of education and experience: Master’s degree (or PhD) in electrical engineering, microelectronics, computer science or physics and have 4+ years of relevant experience in formal verification of digital circuits, a prerequisite. (Since they have several openings at various levels, experience can vary). Knowledge of verification languages (SVA, PSL), verification methodologies and tools. Working knowledge of HDL such as Verilog, SystemVerilog, and VHDL required.
Strong communication skills to interact with external customers and internal engineering staff.
Green card or Citizen required…no H-1’s please.
The right candidate will have significant proven relationships with several major well-respected customers and established contacts within.
Have Formal experience with any of the commercial formal tools such as Jasper, OneSpin, Mentor Questa, DC-Formal or VC-Formal