From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/1184 Path: news.gmane.org!not-for-mail From: Achim Jung Newsgroups: gmane.science.mathematics.categories Subject: Lectureship in Theoretical Computer Science in Birmingham Date: Tue, 27 Jul 1999 18:56:16 +0100 (BST) Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Trace: ger.gmane.org 1241017622 29863 80.91.229.2 (29 Apr 2009 15:07:02 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:07:02 +0000 (UTC) To: categories@mta.ca Original-X-From: cat-dist Tue Jul 27 17:10:16 1999 Original-Received: (from Majordom@localhost) by mailserv.mta.ca (8.9.3/8.9.3) id PAA17265 for categories-list; Tue, 27 Jul 1999 15:39:33 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f X-Sender: axj@preston Original-Sender: cat-dist@mta.ca Precedence: bulk Original-Lines: 42 Xref: news.gmane.org gmane.science.mathematics.categories:1184 Archived-At: The University of Birmingham School of Computer Science LECTURER IN THEORETICAL COMPUTER SCIENCE Applications are invited for a permanent lectureship in Theoretical Computer Science in the School of Computer Science at the University of Birmingham. Applications from all areas of Theoretical Computer Science will be considered but preferential treatment will be given to candidates who show promise to strengthen existing activities. These encompass Mathematical Structures in Computer Science, Lambda Calculus, Type Theory, and Verification of Systems. The School has recently appointed Uday Reddy to a Chair in Programming Languages and close cooperation between the existing Theory group and this new strand of activity is expected. For further information, please see ftp://ftp.cs.bham.ac.uk/pub/dist/info/lect.tcs/particulars.htm Please pass this advert on to any interested individuals in your department. Kind regards, Achim Jung. ------------------------------------------------------------------------- Prof Achim Jung Tel.: (+44) 121 414 4776 School of Computer Science Sec.: (+44) 121 414 3711 The University of Birmingham Fax.: (+44) 121 414 4281 Edgbaston Email: A.Jung@cs.bham.ac.uk BIRMINGHAM, B15 2TT Web: http://www.cs.bham.ac.uk England -------------------------------------------------------------------------