Lectureship in Computer Science

The School of Computer Science are seeking applications for a Lecturer in Computer Science

We seek lectureship applications from researchers who have a strong research background and excellent publication record in any area of functional programming, complementing and enhancing the existing research team, which has a strong focus on parallel programming models and implementation, resource-aware functional programming, dependent type systems, refactoring, static analysis, and performance modelling, and deep connections with the Haskell community. The candidate should be able to form links with and work collaboratively with other research groups in the school, and contribute to teaching and course design across functional programming and theoretical computer science, especially logic and semantics.

Information on how to apply.

Brazilian “Science without Borders” studentships

The Brazilian Government has decided to support a programme of scholarships to promote the consolidation and expansion of science, technology and innovation in Brazil through ‘Science without Borders’. Science and technology scholarships will be made available to support tuition fees, travel and living costs.

Background information and programme details can be located at Brazil Science Without Borders and includes a list of project areas relating to Computer Science.

Senior Honours Project Madness

The dedicated and talented final year Computer Science students presented their projects yesterday. Short presentations were followed by demonstrations and a poster session.
We wish them every success as they approach graduation.

Best Poster: Isobel Hale

Multiple Intrusion Detection System Testing Suite (MISTY)

Best Project Madness Presentation: Thomas Nicholson

Cross-Modal Interactive World Builder