Text Box: terastatic
Text Box: doing Formal Verification
Text Box: SERVICES 
Text Box: SOLUTIONS
Text Box: CAREERS
Text Box: ABOUT US
Text Box: CONTACT

Copyrights © 2008 TeraStatic s. r. l.  - All Rights Reserved.

 

Text Box: Home  |  Privacy Policy

Title: Verification Consultant   >> apply

 

Description

Will provide on-site training, coaching and advice to blue-chip clients, enabling them to fully exploit Formal Verification technology. Will contribute to high-profile verification projects, being responsible for all technical and organisational aspects of the interaction with the client. In particular, will be responsible to: monitor and report the level of satisfaction of the customer; collect and distil customer’s feedback to improve the quality of provided services; identify areas where customer could further benefit from Formal Verification

 

Requirements

MS (6+ years work experience)/PhD (3+ years work experience) in Electronic Engineering. Deep knowledge of HDL languages (both VHDL and Verilog), Formal Verification languages (PSL and SVA), tools and methodology (ABV and property checking). Knowledge of pseudo-random Functional Verification tools and methodology. Teamplayer, flexible and willing to travel. Excellent communication and networking skills, and experience in a customer facing role are a must. Experience in team leading and project management is a plus.

 

Language: excellent verbal and written English skills

 

Location: Catania, Italy

Text Box: CAREERS