fdc@cstvax.UUCP (Frank Cringle) (07/18/85)
[]
VLSI RESEARCH AT EDINBURGH
Two Research Posts
Designing Verifiably Correct VLSI Structures
The Alvey Directorate has announced the award of a research contract
for the development of an advanced VLSI design system by an
industry/university consortium which includes the University of
Edinburgh. Two Research Associate (R.A.) posts are available in the
Department of Computer Science for a period of three years commencing in
August 1985.
The Research Associates will join a small team performing fundamental
research on new techniques for establishing the logical validity of a
VLSI design before fabrication. This research is based on a previous
research effort concerned with the description and analysis of highly
concurrent computing structures.
The research team will collaborate with Ferranti Electronics Ltd,
Lattice Logic Ltd and the University of Manchester to produce a viable
design system which allows users direct access to the inherently complex
technology of VLSI.
Candidates should have a strong interest in at least one of the
following areas:- formal models of computation, program verification,
VLSI design, simulation, automated theorem proving.
The commencing salary will be at an appropriate point within the 1A
range of the salary scale for research staff, which runs from #7,520 to
#12,150 per annum. Postgraduate or industrial experience will probably
be required. The possibility exists for an R.A. to register for a
higher degree within the project.
For further information, write to Dr G J Milne, Department of
Computer Science, Edinburgh University, James Clerk Maxwell Building,
King's Buildings, Mayfield Road, Edinburgh EH9 3JZ or call
+44 31 667 1081 xt 2709.
UUCP: ...!mcvax!ukc!cstvax!gm
JANET: gm@UK.AC.ed.cstvax
--
Frank Cringle, Dept. of Computer Science, Univ. of Edinburgh
UUCP: <UK>!ukc!{hwcs,kcl-cs,ucl-cs,edcaad}!cstvax!fdc
JANET: fdc@UK.AC.ed.cstvax or fdc@UK.AC.ed.ecsvax