From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/1871 Path: news.gmane.org!not-for-mail From: Mark D Ryan Newsgroups: gmane.science.mathematics.categories Subject: job: Research job in model checking application Date: Thu, 22 Feb 2001 02:06:54 GMT Message-ID: <200102220206.CAA24424@gromit.cs.bham.ac.uk> NNTP-Posting-Host: main.gmane.org X-Trace: ger.gmane.org 1241018165 923 80.91.229.2 (29 Apr 2009 15:16:05 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:16:05 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Fri Feb 23 12:39:37 2001 -0400 Return-Path: Original-Received: (from Majordom@localhost) by mailserv.mta.ca (8.11.1/8.11.1) id f1NFmSI24702 for categories-list; Fri, 23 Feb 2001 11:48:28 -0400 (AST) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 54 Original-Lines: 61 Xref: news.gmane.org gmane.science.mathematics.categories:1871 Archived-At: [apologies for multi-post] Job opportunity * Model checking * flexible balance of theory/applications, to suit applicant * good research environment * informal enquiries welcome THE UNIVERSITY OF BIRMINGHAM SCHOOL OF COMPUTER SCIENCE Postdoctoral Research Fellow Applications are invited for a Postdoctoral Research Fellow to work on the project `The Feature Construct in Programming and Specification Languages', funded by EPSRC and British Telecom, coordinated by Dr. Mark Ryan and Dr. Marta Kwiatkowska. Applicants should have a PhD in Computer Science and ideally have knowledge of one or more of the following areas: model checking, temporal logic, and/or program semantics. The successful applicant may be expected to contribute to teaching in the School up to a maximum of two hours per week on average. More information about the project, the research group and the School can be obtained from the URLs: www.cs.bham.ac.uk/~mdr/fc www.cs.bham.ac.uk The starting salary will be up to 19,482 pounds per year. The post is for three years from 1 April 2001 or as soon as possible thereafter. Application forms and further particulars available from: The Director of Personnel Services The University of Birmingham Edgbaston, Birmingham, B15 2TT tel: + 44 (0)121 414 6486 (24 hours) email: h.h.luong@bham.ac.uk Application forms are available from the WWW, at www.bham.ac.uk/personnel/app.htm Please quote reference S35522/01. The closing date for applications is Friday 9th March 2001. Late applications will be considered if the selection process has not advanced too far. Informal enquiries are welcome, and should be addressed to: Mark Ryan, tel: +44 (0)121 414 7361, email: M.D.Ryan@cs.bham.ac.uk. The University of Birmingham is working towards equal opportunities. ------- end -------