Post-Doctoral Researcher in Visualising Deep Learning Systems
Modular AI Verification and Visualisation (MAIVV)
(30 Months)
POSITION CLOSED
We are seeking an energetic and enthusiastic postdoctoral researcher to work on techniques for the formal software development of AI-based systems. Our overall goal is to provide scalable techniques for software development that guarantee software dependability, even when deep learning techniques are employed by developers. A case study of a hybrid cyber-physical system will demonstrate the effectiveness of our approach.
Much of our recent research has centred on modularising specifications and refinements via our extensions to the Event-B specification language. We plan to adapt our enhanced modularised Event-B, to verify elements of existing deep learning systems, guided by appropriate visualisations. The output of this work will be a system which allows us to verify properties of hybrid systems with mixed discrete and continuous dynamics, and associated software tooling to integrate this with existing verification frameworks.
The successful candidate will work with academic and industry-based researchers, both in Ireland and internationally. The post advertised here will be for up to 30 months, depending on start date, with commencement possible from June 2022.
Principal Duties:
- Working under the supervision of Work under the supervision of Dr Rosemary Monahan and Professor Barak A. Pearlmutter in the Dept. of Computer Science and Hamilton Institute at Maynooth University.
- Leading project tasks and carrying out administrative work to support the programme of research as appropriate.
- Conducting literature reviews investigating contemporary techniques to explore and visualise deep learning systems
- Evaluating existing techniques for visualising deep learning systems
- Developing visualisation strategies to support the modular development and verification of safety-critical systems with AI based components
- Designing and implementing tool support for the extraction and visualisation of features of related deep networks
- Developing an associated case study and tutorial demonstrating use of our techniques.
- Actively assisting and contributing to the writing and presentation of reports and academic papers for publication and wider research dissemination.
- Assisting in the development and submission of new research proposals.
- Carrying out additional duties as may reasonably be required within the general scope and level of the post.
The ideal candidate will have:
Mandatory:
- A PhD in a relevant area such as computer science, maths, engineering or related disciplines.
- A track record of peer-reviewed publications.
- Experience of deep learning systems and associated data sets.
- Experience/interest in 3D visualisation techniques.
- The ability and eagerness to work effectively as part of a team.
- Excellent attention to detail, flexibility, initiative and good problem-solving abilities.
- Excellent research, analytical, oral and written communication skills.
- Ability to work with autonomy, manage workloads, deadlines and responsibilities.
- Ability to meet project deliverables.
- Excellent interpersonal skills.
Desirable:
- Experience of conducting research projects with industry partners.
- Experience conducting systematic literature review.
- Experience in applying for funding (i.e., H2020 EU or national funding schemes).
- Experience of working in international teams.
Selection and Appointment:
- Only shortlisted candidates will be invited to attend for interview;
- Candidates invited for interview will be required to make a brief presentation;
- Appointments will be approved by the President based on the report of the selection board;
- The appointment is expected to be effective from June 2022 or as soon as possible thereafter.
Salary:
- Post-doctoral Researcher: From Eur 39,523 - Eur 45,609 per annum (6 points)
- Increments are available if starting on lower points (capped at point 6).
Application Procedure: