[JA] ================================================ AMAST Links 03 01

                   Formal Verification job openings
  General Systems Lab - Hewlett-Packard Company, Roseville, California

   The full version of this announcement is available at URL:
   http://www.cs.utwente.nl/data/amast/links/v03/i01/full/AC0301JA.txt

  The General Systems Laboratory of Hewlett-Packard is again hiring
verification engineers with skills and interests in Formal 
Verification.  Successful applicants will join a small-but-growing team
whose charter is to apply Formal Methods to a variety of computer 
system design problems.  This is an opportunity to develop formal 
techniques which will have genuine impact on the computer industry.

  Requirements:
 o  BS, MS or Ph.D degree in EE, CE, CS, CEE or CSEE.
 o  Experience in one of the following areas:
    VLSI, Firmware, board design or system simulation.
 o  Solid understanding of computer architecture.
 o  Minimum 3 years experience in formal verification.
 o  Strong communication and teamwork skills.
 o  Must be flexible and willing to work in areas other than FM.
  In addition to the above requirements, previous experience in some
of the following areas is preferred:
 o  Integrated circuit design, verification, tools and methodologies.
 o  VLSI testing, characterization, diagnostics.
 o  CPU board design.
 o  RISC Assembly language programming, C programming.
 o  Behavioural modeling.
 o  Industrial use of Formal Methods.

  For immediate consideration, email your resume to:
   fvjobs@rosemail.rose.hp.com

  Hewlett-Packard is an equal employment opportunity employer 
dedicated to affirmative action and workforce diversity.