Received: from GLINDA.OZ.CS.CMU.EDU by A.GP.CS.CMU.EDU id aa27657; 8 Nov 95 13:24:03 EST Date: Wed, 8 Nov 95 13:22:54 EST From: AI.Repository@GLINDA.OZ.CS.CMU.EDU To: ai+ai-postdoc@cs.cmu.edu, ai+ai-predoc@cs.cmu.edu Subject: Postdoc/Predoc: Computational Logic at City University (London) Sender: ai@A.GP.CS.CMU.EDU From: "David Gilbert, tel:+44 171 477 8444" Subject: PhD/Postdoc research positions offered in Computational Logic Date: Mon, 6 Nov 1995 09:39:33 +0000 Organization: School of Informatics, City University, London PhD Studentship offered in Computational Logic Department of Computer Science School of Informatics City University London, UK Applications are invited for PhD Studentships / Postdoctoral research positions in the field of Computational Logic, tenable at the department of Computer Science, City University. Areas of particular research interest within this field are: -- concurrent systems: specification and construction -- parallel logic programming -- constraint logic programming -- programming environments -- program analysis, synthesis and transformation -- design of logic programming languages -- logic-based formal description techniques The School of Informatics which has developed a flourishing research base is funding a scheme for awarding research studentships leading to a PhD. These Centenary Studentships are normally awarded for three years and will cover maintenance in line with EPSRC research studentships as well as tuition fees. Awards are typically in the region of 6000 pounds sterling. Successful applicants for the postdoctoral research positions will be funded by the European Community under the Training and Mobility of Researchers scheme of the Framework 4 programme. Applicants should contact Dr David Gilbert directly at the address below. ------------------------------------------------------------------------------- Dr David Gilbert tel: +44-71-477-8444 (direct/answerphone) Department of Computer Science fax: +44-71-477-8587 School of Informatics City University email: drg@cs.city.ac.uk Northampton Square uucp : drg@citycs.uucp London EC1V 0HB url: http://www.cs.city.ac.uk/finger/drg EC1V 0HB UK ------------------------------------------------------------------------------- ------------------------------------------------------------------------------- This message | Submissions ai+ai-postdoc@cs.cmu.edu was sent via | Subscribe/Unsubscribe ai+query@cs.cmu.edu the AI-POSTDOC | Available mailing lists include mailing list. | AI-JOBS, LISP-JOBS, PROLOG-JOBS, AI-POSTDOC, AI-PREDOC