University of York logo

Computer Science

 

Why we are recruiting

Profile photo of Head of Department

As part of a significant further investment in Computer Science, I have pleasure in inviting you to apply for this Chair in Critical Systems.

Over the two years we have recruited over 10 academic and teaching staff into the Department, with a further 10 over the next year. This reflects the Department’s vision for growth and ambition to remain one of the top Computer Science Departments in the UK. We remain world-leading in safety-critical and high-integrity systems engineering, both in terms of teaching and research. Alongside successful teaching and CPD in safety-critical systems engineering, we are also the home to the Assuring Autonomy International Programme, which is an ambitious project funded by the Lloyds Register to establish assurance approaches and practices for autonomous systems.

The post-holder will be expected to pursue research of the highest standards, attracting external funding to support the Department’s research and innovation activities. They will also be expected to build links and partnerships with industrial partners. They will join an ambitious expanding Department with a community of academics that publish in the highest ranked journals and conferences, attract significant research income and teach to the highest standards.

This is an exciting time in the lifetime of the Computer Science Department, and I encourage you to consider this opportunity.

Prof Neil Audsley, BSc, DPhil (York)
Head of Department

Research and teaching

Many of the challenging problems facing computer science are interdisciplinary. The need to work across disciplines is reflected in our four major themes and five interdisciplinary research centres.

Research themes:

  • Critical Systems: design, modelling, implementation and verification of autonomous, cyber-physical, embedded, real-time, enterprise and secure systems.
  • People, Health and Wellbeing: including image analysis and healthcare informatics.
  • Analytics: including AI, analytics for games and eSports.
  • Beyond Human Vision: novel approaches and algorithms for computer vision, pattern recognition and face analysis.

Research Centres / Labs:

The themes and centres are supported by researchers specialising in Cyber-Security, Real-Time and Embedded Systems, Enterprise Systems, High Integrity Systems, Computer Vision and Pattern Recognition, Human Computer Interaction, Artificial Intelligence, High Performance Computing and Computer Architecture. More details are available here: https://www.cs.york.ac.uk/research/about-research/

Teaching in the Department

In York Computer Science is taught as an engineering discipline, and students get a "full spectrum" education from theory to practice, covering hardware design as well as software, and involving individual and group projects (see: https://www.cs.york.ac.uk/undergraduate/).

There are specialist variants of our degrees, eg CS with Artificial Intelligence, and CS with Cyber Security. All students have the option to go on an industrial placement year, and about half do so, as an integral part of their degree course. A small number of specialist MSc courses are taught (see: https://www.cs.york.ac.uk/postgraduate/) and there is a thriving postgraduate school with about 160 PhD students.

There are also online MSc degrees that have been launched, aimed at upskilling students with no previous Computer Science experience (see: https://online.york.ac.uk/study-online/), and specialist Continuing Professional Development courses in Systems Safety.

Teaching will be built up progressively. In most cases initial duties will be to support student projects and tutorials, although some posts may involve early lecturing responsibilities. In all cases staff will contribute to teaching, perhaps initially co-teaching a module (lecturing or supporting practical work), conducting some formative and normative assessments, then later taking overall responsibility for one or more taught modules.

Why we work here

It's best to let our staff speak for themselves – the accompanying videos show some of the range of interests and expertise in the Department, and the sort of people you could soon be working with.

In more measurable terms, the Department has long had an international reputation for its research, particularly in terms of industrial impact. As long ago as 1996 the Department won a Queen's Anniversary Prize for industrial technology transfer. This success has continued, and in the 2014 Research Excellence Framework (REF) we were ranked 7th overall, and 5th for impact, out of 89 Computer Science Departments in the UK.

The Department has always had an entrepreneurial spirit, and we encourage staff to work with industry and to support the wider community, eg through the professional societies.

Dr Dawn Wood

Dr Jo Iacovides

All videos produced by Digifish.TV

Dr Peter Nightingale

Dr Steven Wright

Professor Delaram Kahrobaei

The University of York

The Department

The Department of Computer Science has a very strong international research record. The Research Excellence Framework (REF) 2014 results ranked York's Computer Science 7th overall in the UK, 5th for impact and 6th for environment. 90% of our academic staff were rated as "world leading" or "internationally excellent". This result confirms the longstanding global reach and real-world significance of the Department’s research and makes us one of the best departments in the country for nurturing excellent research and achieving economic, social and cultural impact from research. All aspects of our impact and environment were judged to be of world-leading or international standard.

The Department is housed in modern, purpose-built accommodation within the Heslington Campus East. We have 59 members of academic and teaching staff and 37 research associates and fellows employed on research grants and contracts. Seven specialist teaching staff deliver modules to industry as part of our highly regarded CPD programme in safety critical systems. We have a vibrant graduate school of approximately 180 research students, and over 640 undergraduate and approximately 220 full-time and part-time taught postgraduate students. The Professional Support Service comprises 27 administrative staff and 12 technical and computing staff.

The Department of Computer Science and the University is committed to promoting a diverse and inclusive community - a place where we can all be ourselves and succeed on merit. We offer a range of family friendly, inclusive employment policies, flexible working arrangements, staff engagement forums, campus facilities and services to support staff from different backgrounds.

The University

Founded on principles of excellence, equality and opportunity for all, the University of York opened in 1963 with just 230 students. In 2017 it is the centre for almost 16,000 students across more than 30 academic departments and research centres. In over 50 years we have become one of the world's leading universities and a member of the prestigious Russell Group.

The University has consistently been recognised as one of the leading Higher Education Institutes and is one of just six post-war universities which has appeared in the world top 100. The University of York has won six Times Higher Education (THE) Awards and five Queen's Anniversary Prizes, including two in Computer Science.

We are proud of our association with Athena SWAN, holding ten awards in support of women in science, with gold awards for Chemistry and Biology as well as a University-wide bronze award.

Of 154 universities that took part in the Research Excellence Framework (REF) in 2014, the University of York ranked 14th overall and 10th on the impact of our research. The University is consistently in the top ten UK research universities and attracts over £60m a year of funding from research alone.

Centred around the picturesque village of Heslington on the edge of the city of York, our colleges are set in an attractive landscaped campus. With a compact and easy to get around design, York enjoys a safe, friendly atmosphere. The campus offers a wealth of facilities, which includes bars, shops, theatres and concert halls all within easy walking distance.

Find out more about the University of York

Currently recruiting

The project ‘Trustworthy Autonomous Systems Node in Verifiability’, funded by the EPSRC as part of the UK Research and Innovation’s £34 million research programme on Trustworthy Autonomous Systems (TAS), offers a number of Research Associate/Fellow positions focusing on model based design and formal verification. Led by the University of York, the project is a highly interdisciplinary research effort to deliver a step change in the verifiability of autonomous systems, including robots and software systems.

Research Associate - Computer Science

We are seeking an enthusiastic researcher capable of making significant contributions to the development of the unifying framework. You will develop a framework for combining the different languages and concepts used in modelling autonomous systems. You will use the techniques of Unifying Theories of Programming and the Isabelle theorem prover.You will conduct research under the supervision of senior colleagues and to contribute to the production of research. You will assist in the identification and development of potential areas of research and the development of proposals for independent or collaborative research projects.

Contact James Woodcock with enquiries about this role.

Download the candidate brief

Apply online

Research Associate - Computer Science

We are seeking an enthusiastic researcher capable of making significant contributions to the development of verification notations that are useful for a variety of techniques and accessible to practitioners. You will develop metamodel and well-formedness restrictions, and a formal semantics for the notations. You will develop tools that demonstrate usability of the approach.You will conduct research under the supervision of senior colleagues and to contribute to the production of research. You will assist in the identification and development of potential areas of research and the development of proposals for independent or collaborative research projects.

Contact Ana Cavalcanti with enquiries about this role.

Download the candidate brief

Apply online

Research Associate/Fellow - Resilient Autonomous Systems - Computer Science

We are seeking an enthusiastic researcher capable of making significant contributions to the development of a theoretical foundation for the modelling, analysis, verification and assurance of the SLEEC goals of autonomous systems. You will develop formal notations to model the SLEEC concerns of autonomous systems. You will devise mathematically based techniques allowing autonomous systems to analyse and evolve these models, and to determine resilience-enhancing actions that are feasible and SLEEC compliant.You will conduct research under the supervision of senior colleagues and to contribute to the production of research. You will assist in the identification and development of potential areas of research and the development of proposals for independent or collaborative research projects.

Contact Radu Calinescu with enquiries about this role.

Download the candidate brief

Apply online

Research Associate/Fellow - Resilient Autonomous Systems - Computer Science and Mathematics

We are seeking an enthusiastic researcher capable of making significant contributions to the development of a mathematically based theoretical foundation for the mitigation of socio-technical uncertainty and disruptions in autonomous systems. You will develop formal techniques enabling autonomous systems to quantify and reduce uncertainty, and to predict, detect and respond to changes, faults, failures and adversity. You will conduct research under the supervision of senior colleagues and to contribute to the production of research. You will assist in the identification and development of potential areas of research and the development of proposals for independent or collaborative research projects.

Contact Radu Calinescu, Ana Cavalcanti or Julie Wilson for enquiries about this role.

Download the candidate brief

Apply online

Research Associate/Fellow - Resilient Autonomous Systems - York Law School and Philosophy

We are seeking an enthusiastic researcher capable of making significant contributions to the development of the normative framework of the project. You will develop an account of the relevant norms, whether social, legal, cultural or ethical; catalogue the ways in which they may need to be adjusted for the specific contexts of application envisaged by the project; and develop techniques of formal specification that enables them to be implemented in autonomous systems. You will bring to bear a competence in one of the relevant underlying disciplines such as philosophy or law. You will conduct research under the supervision of senior colleagues and to contribute to the production of research. You will assist in the identification and development of potential areas of research and the development of proposals for independent or collaborative research projects.

Contact Alan Thomas or TT Arvind with enquiries about this role.

Download the candidate brief

Apply online

 

York and moving to the UK

Benefits and advice on moving to the UK

Computer Science is already home to staff from more than fifteen countries and five continents, and is happy to welcome staff from around the world. Both the Department and University provide advice and support to staff to help them in relocating to York. The Department runs a range of internal meetings and seminars, including social activities, which will enable staff to meet and get to know their new colleagues.

The City of York

Internationally acclaimed for its rich heritage and historic architecture, York's bustling streets are filled with visitors from all over the world. Within its medieval walls you will find the iconic gothic Minster, Clifford's Tower and the Shambles - just a few of the many attractions.

But York isn't just a great place to visit - it's also a great place to live and work. While nourishing a vibrant cosmopolitan atmosphere, York still maintains the friendly sense of community unique to a small city.

Shopping, culture and entertainment

York boasts specialist and unique boutiques but also all the high street stores on its busy shopping streets. Alongside them you will find cinemas, theatres, an opera house, art galleries, a vast range of restaurants, live music venues and clubs. York is particularly renowned for its multitude of pubs and bars, from the modern to the medieval.

Yorkshire

The Lonely Planet guide recently declared Yorkshire the third best region in the world to visit. There is something to cater to every taste, whether it be the rugged landscapes of the Moors or the Dales, the picturesque seaside towns of Scarborough and Robin Hoods Bay, the gothic architecture of Whitby or the vibrancy of cosmopolitan Leeds.

For more information head to www.visityork.org

Do you have any questions?

Follow us

© University of York | Legal statements