Job Vacancy: Research Fellow in Computer Science

A Research Associate position in analysis and verification of novel cache algorithms is available at the School of Computer Science within the University of St Andrews. The position is a fixed-term position for 18 months, starting January 2017 or as soon as possible thereafter. The project involves understanding and developing the theoretical basis for such algorithms, formalising them using formal techniques of theorem proving and/or model checking, and developing formal analysis and correctness proofs for such algorithms.

This is part of the EPSRC-funded “C3:Scalable & Verified Shared Memory via Consistency-Directed Cache Coherence” (EP/M027317/1) project, a collaborative project with architecture researchers at the University of Edinburgh and at Intel Corporation Ltd, investigating high-performance cache coherence protocols. Our goal is to propose and verify a family of protocols that are aware of high-level programming models, including in particular those with so-called relaxed memory consistency models.

The particular direction at St Andrews under the direction of Dr Sarkar is to develop verification methods that will scale to the research cache coherence protocols being co-developed within the project. This is a new application area for formal methods, with performance and correctness both equally important. Thus, a background in one or more of Formal Methods, Compilers and Static Analysis, and Verification Tools is expected. Software development and/or formal proof development experience is invaluable.

For an informal discussion about the post you are welcome to contact Dr Susmit Sarkar.

Applications are particularly welcomed from women and other groups that are under-represented in Research posts at the University.

Full posting

DLS: Distributed Systems and Sensing by Prof. Julie McCann

DISTINGUISHED LECTURE SERIES

Semester 1

TITLE:

Distributed Systems and Sensing

by

Julie McCann

jm

7th November 2016

Lower and Upper College Halls

 

Introduction

By Professor Simon Dobson

School of Computer Science

University of St Andrews

The first of this academic year’s distinguished lectures will be given by Professor Julie McCann, Imperial College, London on Monday 7th November 2016 at Lower and Upper College Halls.

 

Overview

Chirping, self-organising, adaptive and intelligent tiny computers are beginning to enter both the market and people’s homes, performing various monitoring and control duties. From Google’s self-drive cars to the walls of modern office blocks, these simple devices are talking to each other in highly intelligent ways, mimicking the collective behaviour of insect colonies, for example, to overcome individual failures or changes in the local environment.

 

 

 Biography

Prof Julie A. McCann is a Professor of Computer Systems in Imperial College London (IC), where she leads the Adaptive Embedded Systems Engineering Research Group, she is Director for the Imperial wide Centre for Smart Connected Futures, Co-Director of the Intel Collaborative Research Institute for Sustainable Cities and she is CI for the NEC Smart Water Systems Lab and many other substantive projects with industry and academia with a focus on networking and sensing infrastructures to support environments such as smart cities, water and gas networks etc. She is CI on the EPSRC energy/water/food nexus WefWebs project where her focus is on precision farming and wine making.

Likewise, her NERC FUSE project designed and deployed a now patented sensing infrastructure for floodplain monitoring in Oxfordshire. Her research centres on highly decentralized and self-organizing scalable embedded frugal computing systems where one avoids a single point of failure to produce truly scalable solutions. She is a Fellow of the British Computer Society and is the Associate Editor for ACM Transactions on Adaptive Autonomic Systems (TAAS), has been General and Technical chair for the IEEE International Conference on Self-Adaptive and Self-Organising systems (SASO) and IEEE SECON 2016, SMARTCOMP 2017 and has been on the programme committee for IEEE INFOCOM, ACM UBICOMP and many more. Julie has presented her work in A* conferences and keynoted at the Indian Science Conclave Congregation of Nobel Prize Winners, for the encouragement of disadvantaged kids into science and computing in 2008.

 

 

 

Programme:   Monday 7th November 2016

 
     
 

09:15 – 09:30

 

Introduction:

 
  By Professor Simon Dobson  
 

09:30 – 10:30

 

Lecture 1:

 
  Professor Julie McCann will initially talk through how Wireless Sensor Networks are being used today and what other sciences will impact this subject leading to the ability to have Programmable Matter.  
 

10:30 – 11:00

 

Coffee Break

 
    Refreshments served
 

11:00 – 12:00

 

Lecture 2:

 
  In her second talk she will come very much down to earth and discuss how such systems are programmed today in terms of the hardware stack that composes them and the protocols that allow them to collaborate.  
 

12:00 – 14:00

 

Lunch Break

 
  Free time  
 

14:00 – 15:00

 

Lecture 3:

 
  Prof McCann will introduce some of the challenges that still remain, such as scaling this technology to larger dimensions but to also make them more resilient as well as secure etc. and the challenges that control adds to the system.  
 

15:00 – 15:30

 

 

Q & A Session:

 

 
  Open forum

 

 
   

 

 

Event details

  • When: 7th November 2016 09:15 - 16:00
  • Where: Lower College Hall
  • Series: Distinguished Lectures Series
  • Format: Distinguished lecture

Royal Television Society Bursary: Henry Hargreaves

Congratulations to Henry, one of our second year students, who secured a Royal Television Society bursary. The bursary scheme is supported by a cross industry panel with senior representatives from Arqiva, BBC, BT, Channel 4, Fujitsu, Ericsson, Institute of Engineering Technology, ITV, Sky and Youview.

The new venture for the Royal Television Society, is intended to start to address a skills gap and attract some talented young people on top computer science or engineering courses to consider the option of a career in the broadcast industry. Further details of the scheme can be found here: https://rts.org.uk/education-training/technology-bursaries

Bursary recipients attend a two-week summer tour of the industry, spending a day in each of the 10 companies backing the scheme. A financial award per year for the three years of the bursary, membership of the Royal Television Society and mentoring or placements in their final year of study.

As an R.T.S Bursary recipient, Henry explained that he has not only benefited financially; helping towards my course at St Andrews but it has introduced him to career opportunities within the TV industry.

“I have gained a useful insight by participating in a range of activities organised by the RTS. These have really opened my eyes to how Computer Science plays a vital role in broadcasting, which I was previously, unaware of.”

RadarCat presented at UIST2016

SACHI research project RadarCat (Radar Categorization for Input & Interaction), highlighted earlier this year in the University news, the Courier and Gizmodo and in a Google I/O ATAP 2016 session, will be presented at UIST2016 this week.

RadarCat is a small, versatile radar-based system for material and object classification which enables new forms of everyday proximate interaction with digital devices. SACHI’s contribution to Project Soli featured in a previous blog post SACHI contribute to Google’s Project Soli, in May. Read more about RadarCat for object recognition on the SACHI blog.

Google's Project Soli workshop in March 2016

Google’s Project Soli workshop in March 2016

Computer Science hosts Hack the Bubble

Earlier this month the School hosted hack the Bubble, a 12-hour hackathon organized by STACS, the St Andrews Computing Society and sponsored by J.P. Morgan. Hackathons are great events for teams of students to build projects from scratch and compete for awesome prizes.

The main aim of this event was to show our first and second year students what a hackathon is in a more accessible 12-hour format instead of the traditional 24 or 48 hour ones. The event was a great success with 70 students participating and 15 teams presenting their projects at the end.

This event wouldn’t have been possible without the help of the School of Computer Science for providing the venue, and sponsors J.P. Morgan for the food and prizes.

Hack the Bubble October 2016

Hack the Bubble October 2016

Images and text courtesy of STACS.

Computer Science hosts J.P. Morgan

Earlier this month, J.P. Morgan visited the School of Computer Science, to highlight tech careers, internships and other student opportunities. Staff from the company and CS students are pictured viewing project challenges and solutions through their technology showcase, discussing future career openings and enjoying pizza.

jp2

jpmorgan

Kamran Razavi: Bloomberg CodeCon winner

Congratulations to Kamran Razavi, one of our MSc in Dependable Software Systems (Erasmus Mundus) students, who won the recent Bloomberg CodeCon. CodeCon is a UK wide programming contest organised by Bloomberg and is hosted locally across multiple locations in the UK, one of which was located in the department of Physics at the University of St Andrews.

Kamran emerged first from 20 other contestants at the University of St Andrews and was ranked 19th among 217 other contestants UK-wide, coming from universities such as Cambridge, Oxford and Edinburgh. He was awarded with a championship trophy, Bluetooth speakers, travel accessories and a ticket to London for the main contest, where the top three contestants from each local site will compete against each other.

codecon

The competition is highlighted through the University emails and after registering students can prepare themselves by solving previous problems.The competition itself, lasted 2 hours with 8 questions in total, which were algorithmic in nature, and required knowledge of data structures.

Kamran was able to solve 7 questions but was only able to submit 6, due to technical problems with the contest host website. The contest could have been taken in 15 programming languages including Java, C++, C, Python etc. Kamran used Java on this occasion and thanked Bloomberg, The School of Computer Science and The University for providing opportunities such as CodeCon. We wish him every success for the final contest.

Welcome to new 2016 PhD Students

dsc_6200

The School is very happy to welcome its new group of PhD students who have started in 2016. Shown outside the Jack Cole Building on 13 October 2016 are:

(Back row, left to right) Fahrurrozi Rahman; Xue Guo; Teng Yu; Yanbei Chen; Guilherme Soares Carneiro; Yasir Alguwaifli; and Xu Zhu.

(Front row, left to right) Mun See Chang; Zahida Almuallem; Esme Benssassi; Sidi Zhan; and the Director of Postgraduate Research, Miguel Nacenta.

Absent from the photo are Dawand Sulaiman and Saad Attieh.

Visit by the new Principal and Vice-Chancellor ‌Professor Sally Mapstone

On Tuesday the 5th of October we were pleased to host our new Principal and Vice-Chancellor ‌Professor Sally Mapstone to visit the School of Computer Science. During this visit she was able to meet with staff and students, visit our teaching spaces and visit some of our research labs. We discussed our new Engineering Doctorate (EngD) in Computer Science, our PhD programme, our new and existing MSc programmes, our growth in undergraduate single, joint and MSci degree programmes along with changes to our teaching and research space over the past few years.

From left to right, Simon Dobson, Ruth Letham, Steve Linton, Sally Mapstone, Aaron Quigley, Robin Nabel and Dharini Balasubramaniam

From left to right, Simon Dobson, Ruth Letham, Steve Linton, Sally Mapstone, Aaron Quigley, Robin Nabel and Dharini Balasubramaniam

We were also able to showcase some of our ongoing research which included a short talk from Adam Barker, on Distributed Systems and his recent time with Google, and demonstrations from Chris Jefferson, on visualisation of constraints, Vinodh Rajan Sampath, on Scribal Behaviour and Digital Palaeography, Gonzalo Mendez, on iVolver, Gergely Flamich and Patrick Schrempf, on RadarCatHui-Shyong Yeo on WatchMi and David Morrison, on Beyond Medics.

We thank all the staff and students who made our new Principal feel welcome here in Computer Science.