<div style="font-family:arial,sans-serif;font-size:13px"><font face="courier new, monospace">---------------------------------------------------------------------------</font></div><div style="font-family:arial,sans-serif;font-size:13px">
<font face="courier new, monospace"><br></font></div><div style="font-family:arial,sans-serif;font-size:13px"><font face="courier new, monospace"><br></font></div><div style="font-family:arial,sans-serif;font-size:13px"><font face="courier new, monospace"><br>
</font></div><div style="font-family:arial,sans-serif;font-size:13px"><font face="courier new, monospace"> [[[ We apologize if you receive multiple copies of this message ]]]</font></div><div style="font-family:arial,sans-serif;font-size:13px">
<font face="courier new, monospace"><br></font></div><div style="font-family:arial,sans-serif;font-size:13px"><font face="courier new, monospace"><br></font></div><div style="font-family:arial,sans-serif;font-size:13px"><font face="courier new, monospace"><br>
</font></div><div style="font-family:arial,sans-serif;font-size:13px"><font face="courier new, monospace">---------------------------------------------------------------------------</font></div><div style="font-family:arial,sans-serif;font-size:13px">
<font face="courier new, monospace"><br></font></div><div style="font-family:arial,sans-serif;font-size:13px"><font face="courier new, monospace"><br></font></div><div style="font-family:arial,sans-serif;font-size:13px"><font face="courier new, monospace"><br>
</font></div><div style="font-family:arial,sans-serif;font-size:13px"><font face="courier new, monospace">--------------------------------------------------------------</font></div><div style="font-family:arial,sans-serif;font-size:13px">
<font face="courier new, monospace">PLEASE FORWARD THIS EMAIL TO WHOEVER YOU MAY THINK INTERESTED.</font></div><div style="font-family:arial,sans-serif;font-size:13px"><font face="courier new, monospace">--------------------------------------------------------------</font></div>
<div style="font-family:arial,sans-serif;font-size:13px"><font face="courier new, monospace"><br></font></div><div style="font-family:arial,sans-serif;font-size:13px"><font face="courier new, monospace"><br></font></div><div style="font-family:arial,sans-serif;font-size:13px">
<font face="courier new, monospace"><br></font></div><div style="font-family:arial,sans-serif;font-size:13px"><font face="courier new, monospace">Job Description:</font></div><div style="font-family:arial,sans-serif;font-size:13px">
<font face="courier new, monospace">================</font></div><div style="font-family:arial,sans-serif;font-size:13px"><font face="courier new, monospace"><br></font></div><div style="font-family:arial,sans-serif;font-size:13px">
<font face="courier new, monospace">The research activity will aim at investigating and developing novel techniques, </font></div><div style="font-family:arial,sans-serif;font-size:13px"><span style="font-family:'courier new',monospace">methodologies and support tools for the verification of circuit designs in particular </span><br>
</div><div style="font-family:arial,sans-serif;font-size:13px"><span style="font-family:'courier new',monospace">the use of Satisfiability Modulo Theories (SMT), however researcher with background </span><br></div>
<div style="font-family:arial,sans-serif;font-size:13px"><span style="font-family:'courier new',monospace">on other verification techniques are also encouraged to apply.</span><br></div><div style="font-family:arial,sans-serif;font-size:13px">
<font face="courier new, monospace"><br></font></div><div style="font-family:arial,sans-serif;font-size:13px"><font face="courier new, monospace"><br></font></div><div style="font-family:arial,sans-serif;font-size:13px"><font face="courier new, monospace">Candidate Profile:</font></div>
<div style="font-family:arial,sans-serif;font-size:13px"><font face="courier new, monospace">==================</font></div><div style="font-family:arial,sans-serif;font-size:13px"><font face="courier new, monospace"><br>
</font></div><div style="font-family:arial,sans-serif;font-size:13px"><font face="courier new, monospace">World class researcher in EE/CS/Math (particularly formal theory), familiar with </font></div><div style="font-family:arial,sans-serif;font-size:13px">
<span style="font-family:'courier new',monospace">predicate logic, temporal logic (e.g., CTL, LTL, PSL, SVA), model checking, familiar </span><br></div><div style="font-family:arial,sans-serif;font-size:13px"><span style="font-family:'courier new',monospace">with complexity of algorithms, very strong in algorithm development -- including </span><br>
</div><div style="font-family:arial,sans-serif;font-size:13px"><span style="font-family:'courier new',monospace">design and implementation of large programs, very strong in mathematical </span><br></div><div style="font-family:arial,sans-serif;font-size:13px">
<span style="font-family:'courier new',monospace">considerations in the development of CAD tools/EDA and familiarity with design </span><br></div><div style="font-family:arial,sans-serif;font-size:13px"><span style="font-family:'courier new',monospace">practice.</span><br>
</div><div style="font-family:arial,sans-serif;font-size:13px"><font face="courier new, monospace"><br></font></div><div style="font-family:arial,sans-serif;font-size:13px"><font face="courier new, monospace">Intimate knowledge of one solvers such as BDD, SAT, ATPG, SMT and symbolic </font></div>
<div style="font-family:arial,sans-serif;font-size:13px"><span style="font-family:'courier new',monospace">simulation algorithms.</span><br></div><div style="font-family:arial,sans-serif;font-size:13px"><font face="courier new, monospace"><br>
</font></div><div style="font-family:arial,sans-serif;font-size:13px"><font face="courier new, monospace">Intimate knowledge of Object-oriented programming language C++.</font></div><div style="font-family:arial,sans-serif;font-size:13px">
<font face="courier new, monospace"><br></font></div><div style="font-family:arial,sans-serif;font-size:13px"><font face="courier new, monospace">Capability of working with prospective customers. Experience in a Semiconductor </font></div>
<div style="font-family:arial,sans-serif;font-size:13px"><span style="font-family:'courier new',monospace">company is helpful but not absolutely essential.</span><br></div><div style="font-family:arial,sans-serif;font-size:13px">
<font face="courier new, monospace"><br></font></div><div style="font-family:arial,sans-serif;font-size:13px"><font face="courier new, monospace"><br></font></div><div style="font-family:arial,sans-serif;font-size:13px"><font face="courier new, monospace">Job Requirements:</font></div>
<div style="font-family:arial,sans-serif;font-size:13px"><font face="courier new, monospace">=================</font></div><div style="font-family:arial,sans-serif;font-size:13px"><font face="courier new, monospace"><br></font></div>
<div style="font-family:arial,sans-serif;font-size:13px"><font face="courier new, monospace">BS in EE/CS/Math. with 9+ years of relevant experience, MS with 7+ years of relevant </font></div><div style="font-family:arial,sans-serif;font-size:13px">
<span style="font-family:'courier new',monospace">experience, or related Ph.D.</span><br></div><div style="font-family:arial,sans-serif;font-size:13px"><font face="courier new, monospace"><br></font></div><div style="font-family:arial,sans-serif;font-size:13px">
<font face="courier new, monospace"><br></font></div><div style="font-family:arial,sans-serif;font-size:13px"><font face="courier new, monospace">It is essential that the individual has strong desires to learn and explore new </font></div>
<div style="font-family:arial,sans-serif;font-size:13px"><span style="font-family:'courier new',monospace">technologies and are able to demonstrate good analysis and problem solving skills. </span><br></div><div style="font-family:arial,sans-serif;font-size:13px">
<span style="font-family:'courier new',monospace">Prior knowledge and experience of CAD tool/EDA development are a big plus.</span><br></div><div style="font-family:arial,sans-serif;font-size:13px"><font face="courier new, monospace"><br>
</font></div><div style="font-family:arial,sans-serif;font-size:13px"><font face="courier new, monospace"><br></font></div><div style="font-family:arial,sans-serif;font-size:13px"><font face="courier new, monospace">Contact:</font></div>
<div style="font-family:arial,sans-serif;font-size:13px"><font face="courier new, monospace">========</font></div><div style="font-family:arial,sans-serif;font-size:13px"><font face="courier new, monospace"><br></font></div>
<div style="font-family:arial,sans-serif;font-size:13px"><font face="courier new, monospace">FAHIM RAHIM,PhD</font></div><div style="font-family:arial,sans-serif;font-size:13px"><font face="courier new, monospace">SR. DIRECTOR OF ENGINEERING</font></div>
<div style="font-family:arial,sans-serif;font-size:13px"><font face="courier new, monospace"><br></font></div><div style="font-family:arial,sans-serif;font-size:13px"><font face="courier new, monospace">Atrenta Inc.</font></div>
<div style="font-family:arial,sans-serif;font-size:13px"><font face="courier new, monospace">7 parvis Louis Néel</font></div><div style="font-family:arial,sans-serif;font-size:13px"><font face="courier new, monospace">38000 Grenoble, France</font></div>
<div style="font-family:arial,sans-serif;font-size:13px"><font face="courier new, monospace"> </font></div><div style="font-family:arial,sans-serif;font-size:13px"><font face="courier new, monospace"> email <a href="mailto:fahim@atrenta.com" target="_blank">fahim@atrenta.com</a></font></div>
<div style="font-family:arial,sans-serif;font-size:13px"><font face="courier new, monospace">direct <a href="tel:%2B33.4.38.12.05.91%20ext%20431" value="+33438120591" target="_blank"><span class="" dir="ltr" tabindex="-1" style="background-color:transparent!important;background-image:none!important;border:0px none rgb(0,0,0)!important;border-collapse:separate!important;clear:none!important;direction:ltr!important;display:inline!important;float:none!important;letter-spacing:0px!important;list-style:disc outside none!important;overflow:hidden!important;padding:0px!important;table-layout:auto!important;text-decoration:none!important;white-space:nowrap!important;word-spacing:normal!important;color:rgb(73,83,90)!important;font-family:Tahoma,Arial,Helvetica,sans-serif!important;font-size:11px!important;font-weight:bold!important;height:14px!important;line-height:14px!important;margin:0px!important;vertical-align:baseline!important;width:auto!important;background-repeat:no-repeat no-repeat!important"> <span class="" dir="ltr" title="Click to make a low cost call with Skype" style="background-color:transparent!important;background-image:none!important;border:0px none rgb(0,0,0)!important;border-collapse:separate!important;clear:none!important;direction:ltr!important;display:inline!important;float:none!important;letter-spacing:0px!important;list-style:disc outside none!important;overflow:hidden!important;padding:0px!important;table-layout:auto!important;text-decoration:none!important;word-spacing:normal!important;height:14px!important;margin:0px!important;vertical-align:baseline!important;width:auto!important;background-repeat:no-repeat no-repeat!important"><span class="" title="Skype actions" style="background-color:transparent!important;background-image:url(chrome-extension://lifbcibllhkdhoafpjfnlhfpfgnpldfl/numbers_common_inactive_icon_set.gif)!important;border:0px none rgb(0,0,0)!important;border-collapse:separate!important;clear:none!important;direction:ltr!important;display:inline!important;float:none!important;letter-spacing:0px!important;list-style:disc outside none!important;overflow:hidden!important;padding:0px!important;table-layout:auto!important;text-decoration:none!important;word-spacing:normal!important;height:14px!important;margin:0px!important;vertical-align:baseline!important;width:6px!important;background-repeat:no-repeat no-repeat!important"> </span><span class="" title="Skype actions" style="background-color:transparent!important;background-image:url(chrome-extension://lifbcibllhkdhoafpjfnlhfpfgnpldfl/numbers_common_inactive_icon_set.gif)!important;border:0px none rgb(0,0,0)!important;border-collapse:separate!important;clear:none!important;direction:ltr!important;display:inline!important;float:none!important;letter-spacing:0px!important;list-style:disc outside none!important;overflow:hidden!important;padding:0px!important;table-layout:auto!important;text-decoration:none!important;word-spacing:normal!important;height:14px!important;margin:0px!important;vertical-align:baseline!important;width:27px!important;background-repeat:no-repeat no-repeat!important"><span class="" style="background-color:transparent!important;background-image:url(chrome-extension://lifbcibllhkdhoafpjfnlhfpfgnpldfl/flags.gif)!important;border:0px none rgb(0,0,0)!important;border-collapse:separate!important;clear:none!important;direction:ltr!important;display:inline!important;float:none!important;letter-spacing:0px!important;list-style:disc outside none!important;overflow:hidden!important;padding:0px!important;table-layout:auto!important;text-decoration:none!important;word-spacing:normal!important;height:14px!important;margin:0px!important;vertical-align:baseline!important;width:18px!important;background-repeat:no-repeat no-repeat!important"> </span> </span><span class="" style="background-color:transparent!important;background-image:url(chrome-extension://lifbcibllhkdhoafpjfnlhfpfgnpldfl/numbers_common_inactive_icon_set.gif)!important;border:0px none rgb(0,0,0)!important;border-collapse:separate!important;clear:none!important;direction:ltr!important;display:inline!important;float:none!important;letter-spacing:0px!important;list-style:disc outside none!important;overflow:hidden!important;padding:0px!important;table-layout:auto!important;text-decoration:none!important;word-spacing:normal!important;height:14px!important;margin:0px!important;vertical-align:baseline!important;width:auto!important;background-repeat:no-repeat no-repeat!important"><span class="" style="background-color:transparent!important;background-image:url(chrome-extension://lifbcibllhkdhoafpjfnlhfpfgnpldfl/numbers_common_inactive_icon_set.gif)!important;border:0px none rgb(0,0,0)!important;border-collapse:separate!important;clear:none!important;direction:ltr!important;display:inline!important;float:none!important;letter-spacing:0px!important;list-style:disc outside none!important;overflow:hidden!important;padding:0px 0px 0px 5px!important;table-layout:auto!important;text-decoration:none!important;word-spacing:normal!important;height:14px!important;margin:0px!important;vertical-align:baseline!important;width:auto!important;background-repeat:no-repeat no-repeat!important">+33.4.38.12.05.91</span></span><span class="" style="background-color:transparent!important;background-image:url(chrome-extension://lifbcibllhkdhoafpjfnlhfpfgnpldfl/numbers_common_inactive_icon_set.gif)!important;border:0px none rgb(0,0,0)!important;border-collapse:separate!important;clear:none!important;direction:ltr!important;display:inline!important;float:none!important;letter-spacing:0px!important;list-style:disc outside none!important;overflow:hidden!important;padding:0px!important;table-layout:auto!important;text-decoration:none!important;word-spacing:normal!important;height:14px!important;margin:0px!important;vertical-align:baseline!important;width:15px!important;background-repeat:no-repeat no-repeat!important"> </span></span> </span> ext 431</a> </font></div>
<div style="font-family:arial,sans-serif;font-size:13px"><font face="courier new, monospace"> fax <a href="tel:%2B33.4.76.84.65.51" value="+33476846551" target="_blank">+33.4.76.84.65.51</a></font></div><div style="font-family:arial,sans-serif;font-size:13px">
<font face="courier new, monospace"> cell +33.6.6.32.57.64.19</font></div>