Received: from CS.CMU.EDU by ux4.sp.cs.cmu.edu id aa11789; 17 Jul 97 9:45 EDT Received: from ns.gte.com by CS.CMU.EDU id aa29873; 17 Jul 97 9:44:53 EDT Received: from aurinko.gte.com by ns.gte.com (8.7.5/) Received: by aurinko.gte.com (SMI-8.6/SMI-SVR4) id JAA05364; Thu, 17 Jul 1997 09:46:19 -0400 Date: Thu, 17 Jul 1997 09:46:19 -0400 From: sjg0@gte.com (Sol J. Greenspan) Message-Id: <199707171346.JAA05364@aurinko.gte.com> To: ai+lisp-jobs@cs.cmu.edu, ai+ai-jobs@cs.cmu.edu Subject: Job: R&D on Software Methods/Tools X-Sun-Charset: US-ASCII Sender: ai+@ux4.sp.cs.cmu.edu We are seeking an individual to join the Software Infrastructure Department, whose charter is to do R&D to help the corporation wisely use information technology to meet its enterprise objectives. My group is interested in developing methods and tools for enterprise modeling and analysis in the context of Requirements Engineering. In particular, we are currently working on the design of a novel prototype software environment for modeling and simulating enterprises. This involves integration and application of multiple advanced software technologies; this may involve knowledge representation and reasoning techniques, (e.g., constraints, TMS, logic programming), OODBMS, GUI, web-based and other emerging technologies. The objective is to advance the state-of-the-practice in the corporation and the state-of-the-art in the fields of Requirements Engineering, Information Systems, etc. The position requires an MS or PhD in Computer Science or related field, proven design and prototyping skills, and expert skills using Lisp, Prolog, KBSs, OODBMSs, and also Java and other web development/integration technologies. Other useful background would include knowledge in the areas of cooperating/coordinated information systems, business process modeling, software agents and agent architectures, enterprise/business architectures, conceptual modeling of organizations and systems, etc. GTE Labs, in Waltham, MA, is the central research facility for GTE, one of the world's largest telecommunications companies, and a major player in the convergence of communications technologies (local, long-distance, Internet, wireless, airphone, etc.). If you are interested in the position, please send your resume to Sol Greenspan at greenspan@gte.com including the names of at least two references. ------------------------------------------------------------------------------- This message | Submissions ai+lisp-jobs@cs.cmu.edu was sent via | Subscribe/Unsubscribe ai+query@cs.cmu.edu the LISP-JOBS | Available mailing lists include mailing list. | AI-JOBS, LISP-JOBS, PROLOG-JOBS, AI-POSTDOC, AI-PREDOC