Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10 5/3/83; site security.UUCP
Path: utzoo!linus!security!bgc
From: bgc@security.UUCP (Billy G. Claybrook)
Newsgroups: net.jobs
Subject: Want to be famous?
Message-ID: <447@security.UUCP>
Date: Mon, 29-Aug-83 15:16:58 EDT
Article-I.D.: security.447
Posted: Mon Aug 29 15:16:58 1983
Date-Received: Mon, 29-Aug-83 17:29:42 EDT
Organization: MITRE Corp., Bedford MA
Lines: 24


   RESEARCH PROJECT TO DESIGN AND IMPLEMENT A FORMAL SPECIFICATION LANGUAGE
 AND A PROGRAM DESIGN LANGUAGE FOR SPECIFYING SYSTEMS TO BE IMPLEMENTED IN ADA


     The project involves designing a language, ABC, that can be used as a
formal specification language and as a program design language for systems to
be implemented in Ada.  In addition to designing ABC, we will develop a syntax
checker for ABC (probably using LEX and YACC), demonstrate that we can do
specification-code and code-specification correlations, and demonstrate that
we can do design verification on formal specifications written in ABC.

Experience:  MS/Ph.D. in Computer Science with good mathematical
		   background; familiarity with language design and
		   translator construction and/or be familiar with formal
		   specification languages and program verification.

Please Contact     Dr. Billy G. Claybrook
		   The MITRE Corporation
		   P. O. Box 208
		   Bedford, Massachusetts 01730
		   617-271-3046

		   {allegra,ihnp4,decvax,utzoo}!linus!security!bgc