Levitt@SRI-CSL.ARPA (Karl N. Levitt) (12/18/85)
Openings for Research Programmers The Computer Science Laboratory of SRI International has immediate openings on its program verification project. The project is developing a state-of-the-art system for specifying software and establishing that it satisfies its requirements. Among the novel features of the verification system are the specification language, the interactive theorem prover and the approach to integrating a programming language with the specification language. Applicants should have an MS or PhD in Computer Science or related field. Experience and interest in design and implementation of complex software systems is essential. Familiarity with Lisp, formal methods (specification and verification) and mathematical logic is very desirable. Salary is competitive. Please submit resumes to Karl Levitt, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Levitt@SRI-CSL, (415) 859-4172. -------