[SMT-LIB] Research position

[Fahim Rahim]

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







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







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







PLEASE FORWARD THIS EMAIL TO WHOEVER YOU MAY THINK WOULD BE 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, PSL, SVA), 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 one solvers such as  BDD, SAT, ATPG, SMT and symbolic simulation algorithms.



Intimate knowledge of Object-oriented programming language C++.



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.


----------------------------------------------------------------------
FAHIM RAHIM,PhD
SENIOR DIRECTOR,  R&D
Atrenta Inc.
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.