Hello, I just wanted to announce that my group at Intel is hiring a formal verification engineer to help validate the latest manycore processors. Candidate must be a recent (18 months or less) MS/PhD graduate. Our group uses a variety of FV tools to help find bugs at architectural, uArch, and RTL levels of the design. Some familiarity with formal tools such as theorem provers or model checkers is desired. Experience with hardware validation and/or functional programming a plus.
Please send me your CV if you are interested. ------------------------------------------------------------------------------ What Every C/C++ and Fortran developer Should Know! Read this article and learn how Intel has extended the reach of its next-generation tools to help Windows* and Linux* C/C++ and Fortran developers boost performance applications - including clusters. http://p.sf.net/sfu/intel-dev2devmay _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
