From windley@edu.uidaho.cs.cheetah Wed Dec 12 01:41:03 1990
Received: from [+JANET.000040010160/FTP.MAIL] by eagle.eng.warwick.ac.uk; Wed, 12 Dec 90 01:41:01 GMT
Received: from vax.nsfnet-relay.ac.uk by sun2.nsfnet-relay.ac.uk
          with SMTP inbound id <19629-3@sun2.nsfnet-relay.ac.uk>;
          Wed, 12 Dec 1990 01:38:27 +0000
Received: from iris.ucdavis.edu by vax.NSFnet-Relay.AC.UK via NSFnet with SMTP
          id aa27577; 12 Dec 90 1:33 GMT
Received: by iris.eecs.ucdavis.edu (5.57/UCD.EECS.3.0) id AA18243;
          Tue, 11 Dec 90 16:07:01 -0800
Received: from cheetah.cs.uidaho.edu by groucho.mrc.uidaho.edu
          with SMTP (15.11/15.6) id AA23753; Tue, 11 Dec 90 16:02:32 pst
Received: by cheetah.cs.uidaho.edu (AIX 2.1.2/3.14) id AA26943;
          Tue, 11 Dec 90 16:01:43 PST
Message-Id: <9012120001.AA26943@cheetah.cs.uidaho.edu>
To: info-hol@edu.ucdavis.iris
Subject: Research Assistantships in Formal Methods
Date: Tue, 11 Dec 90 16:01:42 -0800
From: Phil Windley <windley@edu.uidaho.cs.cheetah>
Status: R



                            UNIVERSITY OF IDAHO
          NASA SPACE ENGINEERING RESEARCH CENTER FOR VLSI DESIGN
     GRADUATE RESEARCH ASSISTANTSHIPS IN FORMAL METHODS IN VLSI DESIGN


The University of Idaho's Department of Computer Science in cooperation
with the NASA Space Engineering Research Center for VLSI design is
soliciting applications from qualified students for one to three research
assistantships in the application of formal methods to VLSI design.

The NASA Space Engineering Research Center (SERC) for VLSI Design is
located on the University of Idaho campus and produces full custom VLSI
chips for NASA, DOE, and DOD missions.  The SERC provides a unique
opportunity for studying VLSI design issues.  Students working at the SERC
participate in the entire design process and gain the invaluable experience
of working with professional VLSI designers.

The Formal Methods Group is exploring the application of formal
specification and proof techniques to the VLSI design process.  Currently,
we are conducting research in the integration of hardware verification
tools and traditional VLSI design tools. We are also developing and
fabricating formally verified microprocessors with demonstrated security
features. The nature of the research demands a wide range of talent; we
seek individuals who are interested in one or more of the following:

        * VLSI CAD tool design

        * Programming language theory

        * Hardware verification

        * Higher--order logic

        * Hardware description languages

We expect to have funding available in June 1991 and will entertain
proposals to start in the summer.  Some of the positions will be open to US
citizens only, but qualified foreign students are also encouraged to apply.

The University of Idaho offers MS degrees in Computer Science and Computer
Engineering and the PhD in Electrical Engineering.  Candidates for any of
these degrees are eligible to receive these assistantships.

How to Apply
------------

Interested persons should contact Prof. Phil Windley, University of Idaho,
Moscow, ID 83843 - by February 15, 1991.  Please include:

        * a short statement of interests (at most 2 single spaced
          typewritten pages)

        * degree objective

        * curriculum vitae

        * citizenship information


For additional information, contact
-----------------------------------

        Dr. Phillip Windley

        Department of Computer Science
        University of Idaho
        Moscow, ID 83843

        208.885.6501

        windley@cs.uidaho.edu






