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 , you will join the school’s which is internationally renowned in the visual languages research community. Diagrammatic reasoning was noted as a particular strength in the school’s 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 or call (01273) 642849 (24 hours).
For informal enquires, please contact , Senior Research Fellow at g.e.stapleton@brighton.ac.uk.
Please quote reference number MM4037
Filed Under: Computer Science
