Universiteit van Amsterdam

Please note that this newsitem has been archived, and may contain outdated information or links.

Research fellowship (postdoctoral) in diagrammatic reasoning and formal languages, Brighton (U.K.)

Based within the School of Computing, Mathematical and Information Sciences, you will join the school's Visual Modelling Group 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). 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. The post is fixed-term for 12 months as funding is limited to this period.

Closing date: 10 November 2009 For more information, see http://www.jobs.ac.uk/job/AAD838/ or contact Dr Gem Stapleton, Senior Research Fellow at (please quote reference number MM4037).

Please note that this newsitem has been archived, and may contain outdated information or links.