[Haskell-cafe] [JOBS] Formal methods positions at Intel

Levent Erkok erkokl at gmail.com
Fri Feb 9 18:19:30 UTC 2018

We have two open positions in formal methods/verification at our team at


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.

Feel free to contact me in private for questions, or send me your CV.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20180209/68d94e74/attachment.html>

More information about the Haskell-Cafe mailing list