Job vacancies: Lecturers in Computer Science

The School of Computer Science is recruiting two new Lecturers as part of a large on-going expansion of our academic staff.

You will be a scholar with a growing international research reputation in Computer Science and a commitment to delivering high quality teaching within the broad field of Computer Science and its applications. The successful candidate will be expected to have a range of interests, to be active in research publication that strengthens or complements those in the School and to be capable of teaching the subject to undergraduate and taught postgraduate students who come to us with a wide range of backgrounds.

Candidates should hold a PhD in a cognate discipline. Excellent teaching skills and an interest in promoting knowledge exchange are essential. You should also have some familiarity with grant seeking processes in relation to research councils and other sources.

Closing date: 14th January 2019

Informal enquiries can be directed to Professor Simon Dobson ( or Dr Dharini Balasubramaniam (

Find out more about the vacancies further particulars on the recruitment website.

Professors Quigley and Kitamura to co-chair ACM CHI 2021 in Asia

Professors Quigley and Kitamura

Professor Aaron Quigley and Professor Yoshifumi Kitamura (Tohoku University, Japan) have been appointed the general co-chairs for the ACM CHI conference on Human Factors in Computing Systems in Asia in 2021.  CHI is hosted by the ACM SIGCHI, the Special Interest Group on Computer-Human Interaction

The ACM CHI Conference on Human Factors in Computing Systems is the premier international conference for the field of Human-Computer Interaction (HCI). This flagship conference is generally considered the most prestigious in the field of HCI and attracts thousands of international attendees annually.


CHI provides a place where researchers and practitioners can gather from across the world to discuss the latest HCI topics. It has been held since 1982 and this is only the second time CHI will be held in Asia.  CHI 2020 will be held in Hawaii while CHI 2019 will be held in Glasgow next May. The location for CHI 2021 will be announced to the global research community during CHI 2019.

This week Professor Quigley was invited to present at the Third ACM SIGCHI Asian Symposium hosted in the Research Institute of Electrical Communication at Tohoku University, Sendai. The ACM SIGCHI Asian Development committee organised this event to bring together early career researchers, students and more from multiple countries in the Asia-Pacific region to discuss ideas that can lead to innovations and to inspire us all. The event served to  develop connections and regional/local societies through promoting collaboration among Asian-Pacific HCI researchers and practitioners. Professor Quigley will be spending his upcoming sabbatical in Asia.  

Job vacancies: Interdisciplinary Data Scientists

The Schools of Medicine and Computer Science are seeking to appoint three highly motivated data scientists with a passion for computer vision and deep learning, and specifically their application to medical imaging. The data scientists will be based in the Schools of Computer Science and Medicine at the University of St Andrews and will work on a national Innovate UK funded initiative to create a pan Scotland Industrial Centre for AI Research in Digital Diagnostics (iCAIRD).

The successful candidates will have the opportunity to work alongside and learn from clinicians, industrial experts from Philips Healthcare and academics to help develop artificial intelligence solutions for the automatic reporting of cancer diagnoses in endometrial and cervical cancer. The main duties of the role will involve being an active member of an interdisciplinary team of scientists to help develop deep learning algorithms, within industry standard guidelines, to analyse patient samples in a manner that allows rapid clinical transfer. This work will therefore have the opportunity to impact both patient welfare and relieve pathologist work burden.

Applicants should have experience in machine learning, demonstrable experience in computer programming languages and an interest in the medical applications of computer science. The candidates would benefit from a track record in scientific writing and working in interdisciplinary teams as well as experience in computer vision.

The posts are full time and over a period of 36 months.
Closing Date: 18 January 2019

Find out more about the vacancies further particulars on the recruitment website.

December Graduation 2018

Congratulations to the Masters Class of 2018, and PhD students Dr Daniel Rough and Dr Adeola Fabola who graduated last week. The School also celebrated the Installation of Professor Adam Barker. Students and guests were invited to a reception in Computer Science after the ceremony to celebrate their achievement and reflect on their time in the School.

Our graduates move on to a wide variety of interesting and challenging employment and further study opportunities, and we wish them all well with their future careers.

PhD viva success: Shyam Reyal

Congratulations to Shyam Reyal, who successfully defended his thesis yesterday. He is pictured with Internal examiner Dr Tom Kelsey and external examiner Dr Mark Dunlop , from the University of Strathclyde. Shyam’s research was supervised by Dr Per Ola Kristensson and Dr Mark-Jan Nederhof.

Image courtesy of Annemarie Paton

PhD viva success: Julian Petford

Congratulations to Julian Petford, who successfully defended his thesis today. He is pictured with internal examiner Professor Aaron Quigley and external examiner Dr Jason Alexander, from Lancaster University. Julian’s PhD research in Full Coverage Displays for Non-Immersive Applications was supervised by Dr Miguel Nacenta.

Image courtesy of Wendy Boyter

Dr Roy Dyckhoff: A Eulogy

A Service of Thanksgiving was held at St Salvator’s Chapel on Saturday in memory of Roy Dyckhoff who died in hospital in September. The service included a eulogy composed and delivered by Head of School Professor Simon Dobson.

Since his death I’ve been fascinated to hear how others saw Roy — and how their views differed noticeably from what I saw in him. My perception was of a mathematician who’d made his home in computer science, at the computational end of our shared disciplines: someone fascinated by notions of proof as applied to computation, with a far broader and deeper mathematical knowledge than most of his colleagues and an ability to point out links between the practical and the theoretical. But in recent months I’ve learned of many different Roys: the one who moved from topology to category theory in his PhD; the one who worked on proof theory; the one who was a mainstay of computational logic in the UK; the one who rang bells here in our beautiful chapel; who climbed mountains; who studied languages — and probably many others that I’ll learn more of over the course of today.

Roy started at programming early: a one-year job with punched cards before going up to Cambridge as a maths undergraduate. And while doing his degree he spent his second year — when for some reason he had no maths exams — attending all the lectures, tutorials, and seminars for a degree in Persian. (As one does.) Perhaps this should have been a hint there that maths was only ever going to be a part of his intellectual career; or perhaps it was an early signature of an individual with exceptionally wide-ranging interests, who would constantly return to pure maths from lengthy diversions into other subjects. One look at the bookshelves of his house in St Andrews tells you this — volumes on renaissance art, arts and crafts, world history, and early music sitting alongside the algebra and number theory. It’s interesting also to look at theses of his nine PhD students, interesting how many of them sit at interfaces: between proof theory and category theory, between logic and search, between logic programming, functional programming, and type theory.

But such a broad base of interests sat on a bedrock of fascination for precision — indeed, a demand for precision, and an irritation that other people and organisations seemed so unreasonably comfortable with anything less than precise approaches to subjects. We saw this clearly in Roy’s (repeated) attempts to translate some or other aspect of the university’s regulations into first-order logic — an activity with which he persisted in the face of almost complete bafflement on the part of those to whom he addressed his memoranda. “Let S be the set of all students, and consider a set M of modules operated on by a collection of groups G-sub-i such that…” and so on. I’ve sometimes wondered how those on the receiving end felt about this mathematician’s take on their job — or indeed whether Roy himself imagined the university’s administration to be populated entirely by frustrated logicians, trapped in an imprecise world of programme requirements and module anti-requisites, and as anxious as him to re-write the rules with precision.

Given all this, I think it’s hard to assess what Roy’s influence has been, since it’s been spread over so many disparate areas — and that’s probably a good thing. “Activity is the enemy of thought,” as Christopher Strachey once observed, and the attempt to measure and quantify thought isn’t far behind. It’s not bad in itself, but we now know it breeds a narrow specialisation that over-values increasingly deep looks at increasingly tiny areas of knowledge, and systematically under-values those who want, and feel able, to contribute more widely — as Roy did. If there’s anything to take away from his career, I think it would be this, an example of scholarship that is at once broad, deep, intellectually honest, and constantly curious.

For those who’d like to mark his passing in some way, the family have suggested giving blood as a suitable marker. Alternatively, they are collecting for the Scottish Mountain Bothies Association, which was a charity he supported for many years.