kevin@cad.UUCP (Wing) (01/16/86)
This notice is posted from Lawrence Markosian at Reasoning Systems:
============================================================
R & D Positions in Computer Science and Software Engineering
============================================================
REASONING SYSTEMS, the leading developer of program design and
synthesis environments, has a range of positions available in
automatic programming and software engineering research, development
and applications.
Reasoning is in its second year of successfully applying knowledge-
based design and synthesis technology to software development. The
technology applies formal methods to concurrent and real-time systems,
MIS, and communications systems. Reasoning's product line is based on
its proprietary very-high-level specification language. Reasoning's
customers include major US and international corporations.
The computational environment at Reasoning is based on networked
Symbolics Lisp workstations.
POSITIONS and QUALIFICATIONS:
----------------------------
* Senior Computer Scientist
* Senior Applications Software Engineer
* Applications Software Engineer
* Computer Scientists
* Manager of Product Development
All positions require a bachelor's degree in mathematics, computer
science, engineering or a related scientific discipline. A master's
degree in one of the above disciplines, or an equivalent combination
of education and experience is preferred, with some positions
requiring Ph.D. or equivalent. All positions require demonstrated
problem solving ability in a computational environment. For some
positions, experience with Lisp machines is helpful. Several
positions require project planning and management skills. Several
positions require personal interaction skills, including the ability
to present new technologies to customers and to work with customers
from a wide range of technical backgrounds.
COMPUTER SCIENCE POSITIONS: background in languages and compilers,
databases, knowledged-based systems, operating systems, language-based
environments, or theorem proving and formal methods.
SOFTWARE ENGINEERING POSITIONS: experience with requirements and
functional specifications, especially for real-time systems; design,
analysis and testing of concurrent, embedded and distributed systems
Please send resume to:
Reasoning Systems, Inc.
1801 Page Mill Road
Palo Alto, CA 94304