Received: from GLINDA.OZ.CS.CMU.EDU by A.GP.CS.CMU.EDU id aa27611; 28 Jul 95 19:12:36 EDT Date: Fri, 28 Jul 95 19:11:31 EDT From: AI.Repository@GLINDA.OZ.CS.CMU.EDU To: ai+ai-postdoc@cs.cmu.edu Subject: Postdoc: 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: Tue, 25 Jul 1995 10:09:03 +0100 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), normally not older than 35. Applicants should contact Dr David Gilbert at the address below as soon as possible, enclosing a CV (see guidelines below), a list of research interests and if possible an indication of the intended research area. Deadline for applications to the European Union is 15 September 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://www.cs.city.ac.uk/finger/drg ------------------------------------------------------------------------------ Guidelines for CV ----------------- detailed information (date & places) of the following where appropriate 1. University studies and diplomas obtained 2. Dissertations / Thesis [subjects and names of supervisors] 3. Professional experience 4. Relevant scientific techniques and skills acquired 5. List of publications and patents D R Gilbert tel: +44-171-477-8444 (direct) Department of Computer Science fax: +44-171-477-8587 City University, Northampton Square email: drg@cs.city.ac.uk London EC1V 0HB, UK http://www.cs.city.ac.uk/finger/drg ------------------------------------------------------------------------------- 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