narain@salt.bellcore.com (Sanjai Narain) (03/20/91)
Applications are invited for a summer position at Bell Communications Research in Morristown, N.J. The position will be in a project for developing a system to reason about the behavior of optical networks. It is intended mainly for graduate students in computer science, engineering, or mathematics. Experience with theorem proving, temporal/real-time logics, or logic programming is highly desirable. Bell Communications Research is a research organization sponsored jointly by the seven U.S. regional phone companies. It does research on all aspects of telecommunications. If interested, please contact Sanjai Narain Bell Communications Research MRE 2E260 445 South Street Morristown, N.J. 07962