[comp.lsi] Research Assistantships in Formal Methods in VLSI

windley@cheetah.cs.uidaho.edu (Phil Windley/20000000) (12/12/90)

				     
			    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

			      	            







--
Phil Windley                          |  windley@cheetah.cs.uidaho.edu
Assistant Professor		      |  windley@cs.uidaho.edu
Department of Computer Science        |
University of Idaho                   |  Phone: 208.885.6501  
Moscow, ID 83843                      |  Fax:   208.885.6645