Sender: info-hol-request@edu.uidaho.cs.ted
Errors-To: info-hol-request@edu.uidaho.cs.ted
Date: Thu, 9 Apr 92 14:53:02 PDT
From: Paul.Loewenstein@COM.Sun.Eng (Paul Loewenstein)
Message-Id: <9204092153.AA02586@lara.Eng.Sun.COM>
To: info-hol@edu.uidaho.cs.ted
Subject: Summer position in Formal Verification


		SUMMER POSITION IN FORMAL VERIFICATION

We are looking for a Summer Intern, a three month position in Mt.
View, CA, to work on the formal verification of digital hardware
designs.  The details of the project will depend on the skills of the
successful candidate.  We are especially interested in combining the
abstraction power of theorem proving with the automation of what are
usually lower-level verification tools.

We anticipate that a successful candidate would be a graduate student
pursuing research in formal verification.  Candidates are required to
provide proof of their right to work in the USA.

Sun provides a very competitive compensation package and the
opportunity to work in a leading edge environment for the leading
supplier of client/server computers.

Sun Microsystems Computer Corporation, a subsidiary of Sun
Microsystems, Inc., is the world's leading supplier of client-server
computing solutions, which feature networked workstations and servers
that store, process and distribute information. Used for many demanding
commercial and technical applications, SMCC's products command the
largest share of the computer industry's fastest-growing market
segment: workstations and servers. Sun Microsystems, founded in 1982
and headquartered in Mountain View, Calif., is a multibillion dollar
corporation doing business worldwide.

Please send resumes to (e-mail preferred, FAX OK but not private):

        Paul Loewenstein,
        Staff Engineer
        Sun Microsystems
        Mailstop 19-04
        2550 Garcia Avenue
        Mountain View CA 94043
	USA.

        Tel: 415 336 2447
        FAX: 415 962 0392

        paul.loewenstein@Eng.Sun.COM