Resilience Node (REASON) project UG internship 2022

Posted on 6 June 2022

Apply by 20 June for this excellent opportunity

Internship Title: Design and implementation of a domain-specific languages for autonomy

Project Description

The ‘Trustworthy Autonomous Systems Node in Resilience’ project, funded by EPSRC as part of the UK Research and Innovation’s £34 million research programme on Trustworthy Autonomous Systems (TAS), offers a Summer Internship, focused on implementation of a rule-based language to specify properties of autonomous systems.

The language, called SLEEC, allows the definition of rules related to social, legal, ethical, empathy and cultural (SLEEC) rules and norms relevant to the decisions and actions of an autonomous system. Led by the University of York, our work is collaboration of multidisciplinary researchers at Lancaster University, the Open University, the University of Sheffield and the University of Southampton.

Role

You will write a parser for the language, and implement text-to-text transformation rules already specified. The implementation language is to be defined, but there is significant experience in the group and examples of similar work will be provided. You will work closely with the supervisors and a research assistant. You will contribute to our research, and, if successful, your work will be acknowledged in a scientific publication that describes SLEEC and its relevance.

The successful candidate will have strong programming skills and knowledge of software engineering. A knowledge of compiler construction and, more specifically, parsing techniques, is essential. Appreciation of the role of verification will be useful.

Timings & Pay

The internship should take place during the summer vacation (i.e. start on or after Monday 27 June and end no later than Friday 23 September, at the very latest).

The project is expected to be full time (37 hours per week) and last between 8-10 weeks and the successful intern will be paid £9.96 per hour.

Required Skills

Skills	Essential / Desirable
Programming in object-oriented languages	Essential
Parsing and language processing	Essential
Software engineering skills	Essential
Model transformation	Desirable

Deadline for Applications is 20 June 2022

How to Apply

Applicants should send a copy of their CV and transcript to cs-hr@york.ac.uk, quoting “Resilience internship”.

Supervisors

Professor Radu Calinescu, Department of Computer Science

Professor Ana Cavalcanti, Department of Computer Science