[SMT-LIB] R&D Job offer at Atrenta

[Fahim Rahim]

[[[We apologize if you receive multiple copies of this message ]]]

----------------------------------------------------------------------

-----

--------------------------------------------------------------

PLEASE FORWARD THIS EMAIL TO WHOEVER YOU MAY THINK INTERESTED.

--------------------------------------------------------------



Atrenta is looking for world-class researchers in the Formal Verification field



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.


  SKILLS:
======




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

OTHERS:
=======


* 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


----------------------------------------------------------------------
FAHIM RAHIM,PhD
SENIOR DIRECTOR,  R&D
Atrenta Inc.
7 parvis Louis Néel
CS 20050
38040 Grenoble Cedex 9, France
direct  +33.4.38.12.05.91.ext431  email  fahim at atrenta.com<mailto:fahim at atrenta.com>
      fax  +33.4.76.84.65.51                   cell  +33.6.32.57.64.19
SpyGlass from Atrenta     www.atrenta.com<http://www.atrenta.com/>


________________________________
NOTE: This message and its attachments are intended only for the individual or entity to which it is addressed, and may contain confidential information or forward looking statements in regards to product development. Information or statements contained within this email are for informational purposes only and do not represent a commitment, promise, or legal obligation of any kind by Atrenta Inc. or its affiliates.