[SMT-LIB] R&D Position in Formal Verification in the Advanced Research Center of Atrenta EU

Fahim Rahim fahim at atrenta.com
Tue Jun 4 12:26:25 EDT 2013


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



    [[[ 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







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
















Thanks & Best Regards
_______________________________________
FAHIM RAHIM,PhD
SENIOR DIRECTOR,  ENGINEERING
Atrenta Inc.
7 parvis Louis Néel
38000 Grenoble, 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.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.



More information about the SMT-LIB mailing list