Post-Doctoral Researcher Visualising Deep Learning Systems (30-Month Contract)

Updated: 3 months ago
Location: Kildare, LEINSTER
Job Type: FullTime
Deadline: 08 May 2022

The Role

Maynooth University is committed to a strategy in which the primary University goals of excellent research and scholarship and outstanding education are interlinked and equally valued.

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.

View or Apply