Apologies for multiple postings ------------------------------- Please distribute to potential candidates ----------------------------------------- I am looking for a Research Associate (Postdoc) working with me on the EPSRC-funded project "Coalgebras, Modal Logic, Stone Duality". (Two years, starting date as soon as possible)
From the point of view of computer science, the project is about logics for transition systems (coalgbras). From the mathematical point of view, the project will explore the dualities arising from extending basic, Stone-type dualities via an algebra-coalgebra duality. This draws on results and concepts from modal logic, domain theory, universal algebra and category theory. A background in one (or more) of the above areas is desirable.
The official announcement and application form is available at (Ref R2246) http://www.le.ac.uk/personnel/jobs/a&r.html The applications should be submitted no later than 20 September 2005. If you have any questions please contact me via email. Best wishes, Alexander