From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/1531 Path: news.gmane.org!not-for-mail From: "Roy L. Crole" Newsgroups: gmane.science.mathematics.categories Subject: Lectureships in Computer Science Date: Tue, 30 May 2000 18:53:31 +0100 (BST) Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 (generated by tm-edit 7.106) Content-Type: text/plain; charset=US-ASCII X-Trace: ger.gmane.org 1241017904 31680 80.91.229.2 (29 Apr 2009 15:11:44 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:11:44 +0000 (UTC) To: categories@mta.ca, types@cis.upenn.edu Original-X-From: rrosebru@mta.ca Wed May 31 06:26:38 2000 -0300 Original-Received: (from Majordom@localhost) by mailserv.mta.ca (8.9.3/8.9.3) id FAA24539 for categories-list; Wed, 31 May 2000 05:22:12 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f Original-Sender: cat-dist@mta.ca Precedence: bulk Original-Lines: 89 Xref: news.gmane.org gmane.science.mathematics.categories:1531 Archived-At: Dear Colleagues, I would like to announce three Lectureships in Computer Science, which may be of interest to CATEGORIES and TYPES readers. Leicester has a research group working in Categories and Semantics which includes Simon Ambler, Neil Ghani, Vincent Schmitt, Nobuko Yoshida and myself. Current research areas include Operational Semantics, Mechanized Reasoning, Categorical Models of Programming Languages including Concurrency, Categorical Term Rewriting, and Enriched Category Theory. These areas are directly or indirectly connected with the theory and practice of categories and types. Roy Crole. --------------------- %< ---------------------------------------- UNIVERSITY OF LEICESTER DEPARTMENT OF MATHEMATICS & COMPUTER SCIENCE Lecturer A in Computer Science (3 posts) Available from 1 September 2000 Ref: A5365/GD Applications are invited for three open-ended Lectureships in Computer Science in the Department of Mathematics and Computer Science at the University of Leicester. There is no restriction regarding the area of research and applicants with expertise in any area of Computer Science are welcomed. All three lectureships are tenable from 1 September 2000 or as soon as possible thereafter. The Department of Mathematics and Computer Science is divided into three groups: Computer Science, Pure Mathematics and Applied Mathematics. The Computer Science Group is firmly research oriented and these lectureships are intended to strengthen the Group with regard to both teaching and research. The successful applicants will be ambitious, able to develop their own research within a multi-faceted environment, and have a strong research record and potential. The new lecturers will be required to teach at undergraduate and postgraduate level, and to perform administrative duties as directed by the Head of Department. This is a superb opportunity for persons of energy, drive and ambition to assume rewarding roles and to establish themselves in a young, dynamic and rapidly developing department. Initial salary, dependent upon qualifications and experience, will be on the Lecturer Grade A scale UKpounds 17,238 to UK pounds 22,579 p.a. Candidates who are interested in the lectureships are invited, if they so wish, to contact Professor Iain Stewart, Head of Department telephone (+44) (0)116 252 3885, e-mail i.a.stewart@mcs.le.ac.uk or Professor Rick Thomas, Deputy Head of Department telephone (+44) (0)116 252 3411, email rmt@mcs.le.ac.uk, who will be pleased to discuss the Lectureships further. Information about all aspects of the Department is available from its World Wide Web pages [http://www.mcs.le.ac.uk]. Further particulars and application forms are available, by quoting the reference A5365/GD, from Personnel Office, University of Leicester, University Road, Leicester LE1 7RH, U.K telephone (+44) (0)116 252 2439 email jobs@le.ac.uk, or via http://www.le.ac.uk/personnel/jobs The closing date for applications is 16 June 2000.