Resilience Node (REASON) project UG internship 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
Further Reading
More information about the project can be found online.