[SMT-LIB] R&D position in formal verification in the advanced research center of Atrenta EU

[Fahim Rahim]

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

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

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

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

PLEASE FORWARD THIS EMAIL TO WHOEVER YOU MAY THINK INTERESTED.

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





Job Description:

=================





The research activity will aim at investigating and developing novel



techniques, methodologies and support tools for the verification of circuit designs in particular the use



of Satisfiability Modulo Theories (SMT), however researcher with background on other verification techniques are also



encouraged to apply.









Candidate Profile:



=================







World class researcher in EE/CS/Math (particularly formal theory), familiar with predicate logic, temporal logic (e.g., CTL, LTL), model checking, familiar with complexity of algorithms, very strong in algorithm development -- including design and implementation of large programs, very  strong in mathematical considerations in the development of CAD tools/EDA and familiarity with design practice.

Intimate knowledge of solvers such as  BDD, SAT, ATPG, SMT and symbolic simulation algorithms.

Capability of working with prospective customers. Experience in a Semiconductor company is helpful but not absolutely essential.



Job Requirements:



=================







BS in EE/CS/Math. with 9+ years of relevant experience, MS with 7+ years of relevant experience, or related Ph.D.

It is essential that the individual has strong desires to learn and explore new technologies and are able to demonstrate good analysis and problem solving skills. Prior knowledge and experience of CAD tool/EDA development are a big plus.









Job site:



=========







The researcher will be part of Atrenta's EU based advanced research center in Grenoble France.



The company will not sponsor immigration visa.











Contact Person



==============







Fahim at atrenta.com<mailto:Fahim at atrenta.com<mailto:Fahim at atrenta.com%3cmailto:Fahim at atrenta.com>>


_______________________________________

Fahim Rahim, PhD
Director Of Engineering
Atrenta Inc.
7 Parvis Louis Néel | BP 50 | 38040 Grenoble cedex 9 | France
Phone: +33 4 38 12 05 91 ext. 431 | Fax: +33 4 76 84 65 51
Email: fahim at atrenta.com<mailto:bruno at atrenta.com>
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 regarding product development.  Forward-looking 
statements are subject to change at Atrenta's sole discretion and Atrenta will have 
no liability for the delay or failure to deliver any product or feature mentioned in 
such forward-looking statements.