Logic List Mailing Archive

Research fellowship (postdoctoral) in diagrammatic reasoning and formal languages, Brighton (U.K.), Deadline: 10 Nov 2009

Research Fellow in Diagrammatic Reasoning and Formal Languages
University of Brighton
from 31,513 to 37,651 per annum

Working on the EPSRC funded project Defining Regular Languages with 
Diagrams, you will develop a diagrammatic logic that can be used to define
 
regular languages, including its formalization and devising inference 
rules.

Based within the School of Computing, Mathematical and Information 
Sciences, you will join the schools Visual Modelling Group which is 
internationally renowned in the visual languages research community. 
Diagrammatic reasoning was noted as a particular strength in the schools
 
RAE 2008 Computer Science and Informatics results, with 65% of the 
submitted research outputs being graded as 3* (Internationally Excellent)
 
or 4* (World Leading).

You will hold, or be close to completion of, a PhD (or equivalent) in 
computer science or mathematics. Research experience in one or more of the
 
following areas is desirable:

Formal languages
Logic
Diagrammatic reasoning
Algebraic approaches to the study of formal languages
The post is fixed-term for 12 months as funding is limited to this period.
 
Job sharers welcome.

For an application form and further details of the post, please visit 
http://www.brighton.ac.uk/personnel/jobs.html or call (01273) 642849 (24 
hours).

For informal enquires, please contact Dr Gem Stapleton, Senior Research 
Fellow at g.e.stapleton@brighton.ac.uk.

Please quote reference number MM4037

Closing date: 10 November 2009

URL of this page:
http://www.jobs.ac.uk/job/AAD838/research-fellow-in-diagrammatic-reasoning-
and-formal-languages

Salary:
31,513 to 37,651

Location:
South East England

Type / Role:
Academic or Research

Subject Area:
Mathematics
Computer Science