Research Assistant/Associate in Neural Network Verification for Complex Event Forecasting
Job summary
We are seeking to hire an outstanding Research Assistant/Associate to join the Verification of Autonomous Systems(VAS) group, led by Prof. Alessio Lomuscio. The VAS group is a vibrant, multi-national team working on various aspects of Safe Artificial Intelligence, including verification and safety aspects of deep learning systems, autonomous systems and beyond. The group has strong links with the UKRI Centre for Doctoral Training in Safe and...
Job listing information
- Reference ENG02511
- Date posted 21 February 2023
- Closing date 13 April 2023
Job description
Job summary
We are seeking to hire an outstanding Research Assistant/Associate to join the Verification of Autonomous Systems(VAS) group, led by Prof. Alessio Lomuscio. The VAS group is a vibrant, multi-national team working on various aspects of Safe Artificial Intelligence, including verification and safety aspects of deep learning systems, autonomous systems and beyond. The group has strong links with the UKRI Centre for Doctoral Training in Safe and Trusted Artificial Intelligence and several ongoing collaborations with the industry. The Department of Computingat Imperial College Londonis a leading department of computer science, with a strong international presence in verification and artificial intelligence.
Duties and responsibilities
The role will focus on the application and development of methods for neural network verification, focusing on deep learning systems suitable for event prediction. Aspects of explainability, safety and reliability will also be pursued. The successful applicant will join the Horizon Europe project “EVENFLOW”, contributing to the realisation of methods and tools to be adopted project-wide and running proof-of-concepts on use cases with selected project partners. The overarching aim of the project concerns the development of techniques for the verifiable forecasting of complex events in highly distributed and uncertain environments. The envisioned methods will combine neural representation learning with symbolic reasoning tools (neuro-symbolic learning).
The successful candidate will have a background in deep learning, verification, or optimization. Familiarity with existing methods for neural network verification (e.g., methods based on optimization, MILP, SAT, or abstraction) is desirable, but candidates demonstrating an ability and willingness to become familiar with these topics and able to contribute to them will also be considered. Working knowledge of neural networks and their training is highly desirable as is some experience or willingness to learn methods and tools for high-performance event-based systems.
Essential requirements
- Hold (or shortly expect to receive) a PhD degree in Computer Science or a related field*
- Either a strong background in verification methods of neural networks, eg MILP-based methods, SAT-based methods, abstraction, and optimisation, or in machine learning with particular emphasis on robustness.
- A good publication record in relevant conferences or journals.
- Excellent oral and written communication skills as well as good social skills.
- Ability to prioritise work to meet deadlines, and to work with minimal supervision.
*Candidates who have not yet been officially awarded their PhD will be appointed as Research Assistant within the salary range £36,694 - £39,888 per annum.
Further information
In addition to completing the online application candidate should attach.
- A full CV
- Up to 1 page statement explaining what interesting issues the candidate sees in the above post and the reasons why his or her expertise is relevant.
We will be reviewing applications on a rolling basis and reserve the right to close the advert early if the position is filled. It is advisable that you submit your application as early as possible.
For informal queries candidates are welcome to contact Professor Alessio Lomuscio a.lomuscio@imperial.ac.uk.
For queries regarding the application process contact Jamie Perrins: j.perrins@imperial.ac.uk
Documents
About Imperial College London
Imperial College London is the UK’s only university focussed entirely on science, engineering, medicine and business and we are consistently rated in the top 10 universities in the world.
You will find our main London campus in South Kensington, with our hospital campuses located nearby in West and North London. We also have Silwood Park in Berkshire and state-of-the-art facilities in development at our major new campus in White City.
We work in a multidisciplinary and diverse community for education, research, translation and commercialisation, harnessing science and innovation to tackle the big global challenges our complex world faces.
It’s our mission to achieve enduring excellence in all that we do for the benefit of society – and we are looking for the most talented people to help us get there.
Additional information
Please note that job descriptions cannot be exhaustive, and the post-holder may be required to undertake other duties, which are broadly in line with the above key responsibilities.
Imperial College is committed to equality of opportunity and to eliminating discrimination. All employees are expected to follow the Imperial Values & Behaviours framework. Our values are:
- Respect
- Collaboration
- Excellence
- Integrity
- Innovation
In addition to the above, employees are required to observe and comply with all College policies and regulations.
We are committed to equality of opportunity, to eliminating discrimination and to creating an inclusive working environment for all. We therefore encourage candidates to apply irrespective of age, disability, marriage or civil partnership status, pregnancy or maternity, race, religion and belief, gender reassignment, sex, or sexual orientation. We are an Athena SWAN Silver Award winner, a Disability Confident Leader and a Stonewall Diversity Champion.
For technical issues when applying online please email support.jobs@imperial.ac.uk.
Awards

Top 10 Employer for Working Families
Top 10 employer for working families

Race Equality Charter Bronze Award
Race Equality Charter Bronze Award

Disability Confident leader
Imperial is a Disability Confident leader