[TYPES] Research position at University of Birmingham

[Dan Ghica]

A postdoctoral Research Fellowship is available in the School of  
Computer Science, from January 2006.  The successful applicant will  
join Dr Dan Ghica on an EPSRC project entitled Modular Abstraction  
and Abstraction Refinement: A Game-Semantic Approach. The project  
aims to develop modular verification techniques for software systems,  
based on game-semantic models.

The School of Computer Science is a major centre for research and  
teaching in Computer Science and has around 130 researchers.   
Prominent research themes are shown at http://www.cs.bham.ac.uk/ 
research. There is a lively and friendly atmosphere that encourages  
research straddling different themes.

Applicants must hold, or being nearing completion of, a PhD in  
Computer Science or a related subject.  They must have a proven  
record in theoretical computer science, formal methods, or  
mathematics.  Experience in one or more of the following is desirable:

+	Model checking
+	Programming languages
+	Semantics (esp. game semantics)
+	Logic
+	Category Theory
+	Formal specifications
+	Combinatorics

Details:	Job Title: Postdoctoral Research Fellow
		Department/School: School of Computer Science
		Grade: Research Grade 1A/1B
		Starting salary:  £20,044 - £24,352 a year; potential progression  
to £30,002 a year
		Post Duration: Up to 33 months
		Starting date: after January 2006, negotiable
		Informal enquiries: Dr Dan Ghica;
			Email: d.r.ghica at cs.bham.ac.uk
			Tel: +44 (0) 121 414 8819

---
Dr. Dan Ghica, Lecturer
School of Computer Science
University of Birmingham
Birmingham B15 2TT
tel: +44 121 414 8819
mailto:D.R.Ghica at cs.bham.ac.uk
http://www.cs.bham.ac.uk/~drg