Received: from GLINDA.OZ.CS.CMU.EDU by A.GP.CS.CMU.EDU id ab11074; 27 Mar 95 17:04:12 EST Date: Mon, 27 Mar 95 17:03:31 EST From: AI.Repository@GLINDA.OZ.CS.CMU.EDU To: ai+prolog-jobs@cs.cmu.edu Subject: Job: Computational Logic at City University (London, UK) Sender: ai@A.GP.CS.CMU.EDU From: "David Gilbert, tel:+44 171 477 8444" Subject: Research positions offered in Computational Logic Date: Fri, 24 Mar 1995 11:56:49 +0000 Organization: School of Informatics, City University, London Research positions offered in Computational Logic [Training and Mobility of Researchers, Framework 4] Department of Computer Science School of Informatics City University London, UK Applications are invited for research positions at both post-graduate and also post-doctorate level in the field of Computational Logic at the department of Computer Science, City University. Areas of particular research interest within this field are: -- concurrent systems: specification and construction -- logic programming, constraint logic programming [sequential or concurrent] -- programming environments -- program analysis, synthesis and transformation -- design of logic programming languages -- logic-based formal description techniques -- the application of computational logic to bioinformatics Individuals would be funded by the European Community under the Training and Mobility of Researchers scheme of the Framework 4 programme for a maximum of 36 months (post-grad) or 24 months (post-doc). Applicants must be nationals of the European Union (except the UK), or an associated state (Iceland, Israel, Lichtenstein, Norway, Switzerland). Applicants should contact Dr David Gilbert at the address below as soon as possible, enclosing a CV and a list of research interests. Deadline for applications to the European Union is 15 May 1995. ------------------------------------------------------------------------------- Dr David Gilbert tel: +44-171-477-8444 (direct/answerphone) Department of Computer Science fax: +44-171-477-8587 School of Informatics City University email: drg@cs.city.ac.uk Northampton Square uucp : drg@citycs.uucp London EC1V 0HB UK http://web.cs.city.ac.uk/homes/drg ------------------------------------------------------------------------------ ------------------------------------------------------------------------------- This message | Submissions ai+prolog-jobs@cs.cmu.edu was sent via | Subscribe/Unsubscribe ai+query@cs.cmu.edu the PROLOG-JOBS | Available mailing lists include mailing list. | AI-JOBS, LISP-JOBS, PROLOG-JOBS, AI-POSTDOC, AI-PREDOC