Research Associate in Verification of Learning-enabled Cyber-physical Systems
Department/Division/Faculty: Department of Computing. Faculty of Engineering Campus location: South Kensington Job Family/Level: Academic and Research, Level B Responsible to: Professor Alessio Lomuscio Key Working Relationships (internal): Supervisor and other members of the Department including academic staff and students. Contract type: Fixed term for up to 4 years
Purpose of the Post
The post is funded by DARPA under the Trusted Autonomy Program to develop verification methods for autonomous agents based on machine-learning. The techniques will initially target systems based on feed-forward neural networks and then progress to address more sophisticated networks. The project will include both a theoretical component with strong emphasis on SMT-solving, mixed-integer programming and verification techniques, as well as tool construction. All outputs of the project will be openly published and all software will be released as open-source.
The successful candidate will carry out research programmes in the area of Verification of Autonomous Systems, undertake project management and/or supervise multi-disciplinary teams. In addition, the Research Associate will be expected to submit publications to refereed journals and to attract external research funding.
To take initiatives in the planning of research
To direct the work of small research teams
To identify and develop suitable techniques, and apparatus, for the collection and analysis of data
To conduct data analysis
To ensure the validity and reliability of data at all times
To maintain accurate and complete records of all findings
To write reports for submission to research sponsors
To present findings to colleagues and at conferences
To submit publications to refereed journals
To provide guidance to staff and students
To attend relevant workshops and conferences as necessary
To develop contacts and research collaborations within the College and the wider community
To promote the reputation of the Group, the Department and the College
To provide guidance to PhD Students
Contribute to bids for research grants
To conduct and plan own scientific work with appropriate supervision.
To maintain highly organised and accurate record of experimental Work.
To actively participate in the research programme of the Group
To publish in high quality journals and to present data at national and
To participate in Group research meetings and internal seminars.
To collaborate with other allied scientists within Imperial College and elsewhere in London and abroad, as appropriate.
To contribute to the smooth running of the Group’s laboratories and, facilities with other scientists, clinicians, technicians and students within the laboratories.
Assist in the supervision of undergraduate and postgraduate research students and research assistants as required.
To comply with the College, Division, and Unit safety practices and to attend courses on safety when appropriate.
Any other duties as may be deemed reasonable by Head of group as well as Head of Division/Department/Section.
Where Imperial or funder conditions necessitate, you will be required to complete timesheets for your work on projects in a timely manner.
To undertake any necessary training and/or development
To undertake appropriate administration tasks
To attend relevant meetings
To observe and comply with all College policies and regulations, including the key policies and procedures on Confidentiality, Conflict of Interest, Business Continuity, Data Protection, Equal Opportunities, Ethics related, External Interests, Financial Regulations, Health and Safety, Imperial Expectations (for new leaders, managers and supervisors), Information Technology, and Smoking.
To undertake specific safety responsibilities relevant to individual roles, as set out on the College Health and Safety Structure and Responsibilities
To observe and comply with all College policies and regulations, including the key policies and procedures on Confidentiality, Conflict of Interest, Data Protection, Equal Opportunities, Financial Regulations, Health and Safety, Imperial Expectations (for new leaders, managers and supervisors), Information Technology, Private Engagements and Register of Interests, and Smoking.
Job descriptions cannot be exhaustive and so 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 adhere to the principles set out in our Equal Opportunities in Employment Policy, Promoting Race Equality Policy and Disability Policy and all other relevant guidance/practice frameworks.
Candidates/post holders will be expected to demonstrate the following:
PhD in Computer Science or a closely related discipline, or equivalent research, industrial or commercial experience
Practical experience within a research environment and / or publication in relevant and refereed journals
Experience of dealing with specific groups of people, e.g. sponsors, patients
Practical experience in verification, SMT solving, integer programming.
Knowledge of neural networks and machine learning methods, or a strong willingness to learn these methods
Knowledge of research methods and statistical procedures
Skills & Abilities
Ability to conduct a detailed review of recent literature
Proven ability to program and maintain state of the art toolkits is highly desirable but not essential.
Creative approach to problem-solving
Excellent verbal communication skills and the ability to deal with a wide range of people
Excellent written communication skills and the ability to write clearly and succinctly for publication
Ability to organise own work with minimal supervision
Ability to prioritise own work in response to deadlines
Advanced computer skills, including word-processing, spreadsheets and the Internet
Ability to direct the work of a small research team and motivate others to produce a high standard of work
Willingness to work as part of a team and to be open-minded and cooperative
Flexible attitude towards work
Discipline and regard for confidentiality and security at all times
Willingness to undertake any necessary training for the role
Willingness to travel both within the United Kingdom and abroad to conduct research and attend conferences
Willingness to work out of normal working hours (including weekends) if the requirements of the project demand
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 7 Imperial Expectations detailed below:
Champion a positive approach to change and opportunity
Encourage inclusive participation and eliminate discrimination
Communicate regularly and effectively within and across teams
Consider the thoughts and expectations of others
Deliver positive outcomes
Develop and grow skills and expertise
Work in a planned and managed way
Employees are also required to comply with all College policies and regulations paying special attention to:
The College believes that the use of animals in research is vital to improve human and animal health and welfare. Animals may only be used in research programmes where their use is shown to be necessary for developing new treatments and making medical advances. Imperial is committed to ensuring that, in cases where this research is deemed essential, all animals in the College’s care are treated with full respect, and that all staff involved with this work show due consideration at every level.
Committed to equality and valuing diversity, we are an Athena SWAN Silver Award winner, a Stonewall Diversity Champion, a Disability Confident Employer and work in partnership with GIRES to promote respect for trans people.
ECMWF is both a research institute and a 24/7 operational service, producing and disseminating numerical weather predictions to its Member States. This data is fully available to the national meteorological services in the Member States. The Centre also offers a catalogue of...