From paul@cis.Stanford.EDU  Sat Aug 25 20:36:57 1990
Received: by iris.ucdavis.edu (5.57/UCD.EECS.2.0)
        id AA15551; Sat, 25 Aug 90 20:36:57 PDT
Received: from CIS.Stanford.EDU by clover.ucdavis.edu (5.59/UCD.EECS.1.11)
        id AA25061; Sat, 25 Aug 90 20:40:38 PDT
Received: by cis.Stanford.EDU (5.57/Ultrix2.4-C)
        id AA19447; Sat, 25 Aug 90 20:32:23 PDT
Date: Sat, 25 Aug 90 20:32:23 PDT
From: paul@cis.stanford.edu (Paul N. Loewenstein)
Message-Id: <9008260332.AA19447@cis.Stanford.EDU>
To: info-hol@clover.ucdavis.edu
Subject: National Semiconductor


    National Semiconductor has closed down its design research
activity.  This includes all work on formal methods. As a result I am
looking for a more enlightened employer. I am one of the few people
with both experience in formal design, and real commercial chip
design. I have recently been designing a directory-based
multiprocessor cache system entirely by formal proof. Anyone who may
be interested or who has any ideas please contact me. E-mail is
preferable, but my US mail address and telephone is:

               Paul Loewenstein,
               241 Fulton Street,
               Palo Alto, CA 94301,
               USA.
               +1-415-323-6783

Being a British citizen, and a Permanent Resident of the US, I have
the right to work anywhere in the US or the European Community.

