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