Delivery-Date: 
Sender: info-hol-request@edu.uidaho.cs.ted
Errors-To: info-hol-request@edu.uidaho.cs.ted
Date: Mon, 27 Jul 92 18:38:29 EDT
From: davidg@com.oracorp
Message-Id: <9207272238.AA03781@goedel.oracorp.com>
To: info-hol@edu.uidaho.cs.ted
Subject: Jobs


I've been told that the protocols of this mailing list permit
the posting of job openings.  (Any flames will be forwarded
to the people who told me that.)  Here are two:


ORA Corporation does advanced R&D of secure computer systems, s/w and
h/w verification systems, and non- linear control systems.  ORA is the
developer of the Penelope system (for verifying Ada code), Spectool
(for verifying hardware), and EVES (for verifying the special purpose
language Verdi).  We value bright people and will offer competitive
salaries, full benefits packages, and a pleasant, challenging work
environment to successful applicants for the following positions:

     HARDWARE VERIFICATION - Project Manager.  Apply mathematical
techniques to hardware design; further the use and development of our
verification tool, Spectool, for hardware design engineers.  Requires
hardware design experience, strong presentation skills, proven client
relations abilities.

     COMPILER FRONT ENDS AND SEMANTIC ANALYSIS - Programmer.  Develop
a CASE tool for mathematical specification and analysis of Ada
programs.  Requires experience in functional language programming;
knowledge of parsing and compiler front ends; MS or PhD in CS or Math,
or equivalent experience; US citizenship.


     Forward resume and salary history to Evelyn Platek,
Dir. of Human Resources, ORA Corporation, 301 Dates Dr.,
Ithaca, NY 14850-1313.    To deliver this electronically send
to sherri@oracorp.com EOE, M/F