<div dir="ltr"><p class="MsoNormal"><span style="font-size:9.5pt;font-family:Arial,sans-serif;background-image:initial;background-repeat:initial">The group I work for at Intel has an
opening for a recent graduate (BS/MS/PhD) of a US
institution.</span></p><p class="MsoNormal"><span style="font-size:9.5pt;font-family:Arial,sans-serif;background-image:initial;background-repeat:initial"><br></span></p><p class="MsoNormal"><span style="font-size:9.5pt;font-family:Arial,sans-serif;background-image:initial;background-repeat:initial">We work within the product team responsible for the Xeon Phi
many-core processor which is used to build supercomputers. See: <a href="http://en.wikipedia.org/wiki/Xeon_Phi">http://en.wikipedia.org/wiki/Xeon_Phi</a></span></p><p class="MsoNormal"><br></p><p class="MsoNormal"><span style="font-size:9.5pt;font-family:Arial,sans-serif;background-image:initial;background-repeat:initial">Our team focuses mainly on the floating-point arithmetic verification using an internal STE based model
checking tool called Forte, which is based on the reFLect language, which itself is a descendant of ML. (With lazy-evaluation default, and a baked-in BDD based equivalence checking engine, which makes it supercool! Imagine Haskell with a built-in symbolic simulation engine.) </span><span style="font-family:Arial,sans-serif;font-size:9.5pt">We also use Haskell for internal purposes as needed. Our group has extensive freedom in the choice of tools we use.</span></p><p class="MsoNormal"><span style="font-size:9.5pt;font-family:Arial,sans-serif;background-image:initial;background-repeat:initial"><br></span></p><p class="MsoNormal"><span style="font-size:9.5pt;font-family:Arial,sans-serif;background-image:initial;background-repeat:initial">We also work on a variety of non-arithmetic verification problems, including cache coherence, ECC (error-detection/correction) algorithms, instruction length decoders, to name a few. As part of
our coherence work we developed an open source explicit state distributed model
checker called </span><a href="https://bitbucket.org/jderick/preach/wiki/Home" target="_blank"><span style="font-size:9.5pt;font-family:Arial,sans-serif;background-image:initial;background-repeat:initial">PReach</span></a><span style="font-size:9.5pt;font-family:Arial,sans-serif;background-image:initial;background-repeat:initial">. </span></p><p class="MsoNormal"><span style="font-size:9.5pt;font-family:Arial,sans-serif;background-image:initial;background-repeat:initial"><br></span></p><p class="MsoNormal"><span style="font-size:9.5pt;font-family:Arial,sans-serif;background-image:initial;background-repeat:initial">Our group is based
in Portland, OR, with one member in Santa Clara, CA.  </span></p><p class="MsoNormal"></p>

<p class="MsoNormal" style="background-image:initial;background-repeat:initial"><span style="font-size:9.5pt;font-family:Arial,sans-serif"> </span></p>

<p class="MsoNormal" style="background-image:initial;background-repeat:initial"><span style="font-size:9.5pt;font-family:Arial,sans-serif">Please let me know if you are, or you know
anyone who might be interested in this position. Feel free to forward
this request.</span></p><p class="MsoNormal" style="background-image:initial;background-repeat:initial"><span style="font-size:9.5pt;font-family:Arial,sans-serif"><br></span></p><p class="MsoNormal" style="background-image:initial;background-repeat:initial"><span style="font-size:9.5pt;font-family:Arial,sans-serif">-Levent.</span></p><p class="MsoNormal" style="background-image:initial;background-repeat:initial"><span style="font-size:9.5pt;font-family:Arial,sans-serif"><br></span></p></div>