Availability of summer position

Article View: comp.lang.prolog

Article #1928

#1928

From: Sanjai Narain
Date: Tue, 19 Mar 1991 17:33

19 lines
1146 bytes

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

Technical Details

Message-ID: <284@salt.bellcore.com>

Path:

arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!pacific.mps.ohio-state.edu!linac,att!bellcore!salt!narain

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!pacific.mps.ohio-state.edu!linac,att!bellcore!salt!narain
From: narain@salt.bellcore.com (Sanjai Narain)
Newsgroups: comp.lang.prolog
Subject: Availability of summer position
Keywords: Reasoning, optical networks
Message-ID: <284@salt.bellcore.com>
Date: 19 Mar 91 17:33:28 GMT
Organization: Bell Communications Research
Lines: 19