From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/2842 Path: news.gmane.org!not-for-mail From: Corina Cirstea Newsgroups: gmane.science.mathematics.categories Subject: Research position in Coalgebras and Formal Verification at Southampton Date: Tue, 18 Oct 2005 16:30:33 +0100 Organization: University of Southampton Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed X-Trace: ger.gmane.org 1241018938 6042 80.91.229.2 (29 Apr 2009 15:28:58 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:28:58 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Wed Oct 19 11:30:25 2005 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Wed, 19 Oct 2005 11:30:25 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.52) id 1ESEpi-0007k7-DG for categories-list@mta.ca; Wed, 19 Oct 2005 11:22:22 -0300 User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.7a) Gecko/20040219 X-Accept-Language: en-us, en Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 17 Original-Lines: 54 Xref: news.gmane.org gmane.science.mathematics.categories:2842 Archived-At: *Research position in Coalgebras and Formal Verification* School of Electronics and Computer Science University of Southampton Declarative Systems and Software Engineering Group http://www.dsse.ecs.soton.ac.uk Closing date: 31 October 2005 Applications are invited for a Research Fellow in the Declarative=20 Systems and Software Engineering Group, in the School of Electronics and=20 Computer Science. The School is the largest of its kind in the UK, and=20 has internationally acknowledged research excellence in Electronics and=20 Computer Science (RAE 2001 Grade 5*/5*). The successful applicant will work on the EPSRC-funded research project=20 "Towards a Modular Approach to Model-Based Verification: logical,=20 semantical and algorithmic support". The project aims to develop modular=20 model-based verification techniques for state-based dynamical systems,=20 by using the mathematical theory of coalgebras as a unifying framework. Applicants should have (or be nearing the completion of) a PhD in=20 Computer Science or a related subject, and have a proven research record=20 in theoretical computer science/formal methods. Experience in one or=20 more of the following areas: logic, universal coalgebra, category=20 theory, formal specification, model checking is desirable. The salary=20 will be in the range =A322,774 - =A328,009. The post is available for two= =20 years, from 01/01/2006. Informal enquiries should be addressed to Dr Corina C=EErstea, Tel: +44=20 (0)23 8059 3625, e-mail: cc2@ecs.soton.ac.uk. An application form and further particulars may be obtained from the=20 Human Resources Department (R), University of Southampton, Highfield,=20 Southampton, SO17 1BJ, Tel: 023 8059 2750, e-mail: recruit@soton.ac.uk=20 or minicom: 023 8059 5595, alternatively visit our website at=20 www.jobs.soton.ac.uk. Closing date for applications 31/10/2005. Please=20 quote reference number 05R0160C. ----------------------------------------------------------------------- Dr Corina Cirstea Electronics and Computer Science University of Southampton Southampton, SO17 1BJ United Kingdom Tel: +44 (0)23 8059 3625 -----------------------------------------------------------------------