[JOBS] Formal methods positions at Intel

Previous Topic Next Topic
classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view

[JOBS] Formal methods positions at Intel

Levent Erkok
We have two open positions in formal methods/verification at our team at Intel:

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.



Haskell mailing list
[hidden email]