Job Description

• Responsible for formal verification to enhance the performance and feature-set of the Atrenta Spyglass product family.
• Develop, prototype, and integrate new technologies into existing products.
• Capture user requirements and write detailed specifications for implementation.
• Provide technical direction and overall usability & use-model by gathering customer requirements and work closely with engineering in India and US, marketing and other groups to define, architect and develop these products.

Desired Skills & Experience

Ph.D. in CS/CE/EE or experience in developing advanced algorithms for EDA. In-depth knowledge and experience with some of the following technologies:

• Symbolic simulation and model checking (BMC, TI, IP, IC3/PDR)
• Formal data structures and solvers (BDD, AIG, SAT, SMT)
• Assertion languages and temporal logics (SVA, PSL, LTL, CTL)
• Combinational and sequential equivalence checking
• Logic synthesis and optimization
• Expert knowledge in data structures, algorithm complexity analysis, graph theory
• Expert knowledge in prototyping, benchmarking, and integrating algorithms using C++
• Excellent software engineering skills, very hands on with standard development tools:
• Make, GCC, GDB and Valgrind
• Familiar with System Verilog/VHDL and the VLSI design flow
• Familiar with script languages (Python, Perl, Tcl/Tk)
• Able to deliver projects in a timely manner with high quality and take responsibility for all deliverables

Other requirements

Able to learn new technologies and integrate them into existing products Excellent technical interpretation skills Excellent communication and interpersonal skills Experience working with a remote development team Please, apply to francejobs@atrenta.com