<div dir="ltr">We have two open positions in formal methods/verification at our team at Intel:<div><br></div><div>     <a href="http://jobs.intel.com/ShowJob/Id/1504155/Sr.-Formal-Verification-Engineer/">http://jobs.intel.com/ShowJob/Id/1504155/Sr.-Formal-Verification-Engineer/</a></div><div><br></div><div>While the work centers around formal-verification of Intel's microprocessor offerings, people with background in functional programming and generally interested in correctness proofs of both software and hardware would be well suited. SAT/SMT solving, BDDs, Model-checking are most commonly occurring terms you hear on a daily basis.</div><div><br></div><div>Feel free to contact me in private for questions, or send me your CV.</div><div><br></div><div>Cheers,</div><div><br></div><div>-Levent.</div></div>