
Sr Application Engineer
- Cambridge
- Permanent
- Full-time
- Providing technical support for the deployment of Cadence’s market leading Jasper Formal Verification products.
- Establish technical credibility and rapport with the customer and become the go-to expert for all of their technical inquiries and support.
- Working with the various Cadence sales teams and product developers to develop innovative solutions to address customer’s challenging problems.
- Providing proactive support and problem consultation to make our product users successful.
- Collaborating with R&D to introduce new formal flows and Apps to customers.
- Championing customer needs and helping R&D to develop competitive and creative technical solution.
- Applying formal property checking tools to diverse functional verification problems.
- Fostering a collaborative, team-oriented, work environment.
- BEng in Electronic / Micro-Electronic Engineering or Computer Science – or equivalent.
- Experience of Hardware Design and Verification languages including PSL, SVA, Verilog, VHDL, System Verilog, System-C, TLM.
- Experience of the IP/ Soc verification process.
- Experience with Unix / Linux environment including scripting languages.
- Good Communication skills.