At Cadence, we hire and develop leaders and innovators who want to make an impact on the world of technology.
Cadence Design Systems is looking for a candidate to be part of its Formal verification application engineering team. If you like to architect and develop solutions for challenging problems in a fast and innovative paced environment, using state of the art technology this is a great opportunity.
This position is located in Cambridge or Bracknell, UK.
Job Description:
As an integral member of the Formal verification application engineering team, you will work with industry leading semiconductor and system companies to deploy Cadence’s market leading Jasper Formal Verification products. You will work with the EMEA based AE and sales teams to provide technical support in the Pre and Post-Sales process.
In this pivotal role, you will be a front-line contact with Cadence customer’s engineers and CAD teams and will have the following responsibilities:
1. Providing technical support for the deployment of Cadence’s market leading Jasper Formal Verification products;
2. Working with the various Cadence sales teams and product developers to develop innovative solutions to address customer’s challenging problems;
3. Providing proactive support and problem consultation to make our product users successful;
4. Collaborating with R&D to introduce new formal flows and Apps to customers;
5. Championing customer needs and helping R&D to develop competitive and creative technical solutions;
6. Understanding the competitive landscape and continuously working on differentiating Cadence’s solutions;
7. Fostering a collaborative, team-oriented, work environment;
8. Representing Cadence at technical conferences and trade shows;
9. Applying formal property checking tools to diverse functional verification problems;
10. Delivering training courses for formal verification technology;
11. Leading projects and initiatives.
The position will include travel to customer sites and involve significant interaction with customers.
We are looking for strong candidates with:
* BEng in Electronic / Micro-Electronic Engineering or Computer Science – or equivalent
* Experience in using formal verification tools.
* Experience of Hardware Design and Verification languages including PSL, SV 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.
We’re doing work that matters. Help us solve what others can’t. #J-18808-Ljbffr