Imperial College London
Research Associate in Verification of Learning-enabled Cyber-physical Systems
Imperial College London
Imperial College London embodies and delivers world class scholarship, education and research in science, engineering, medicine and business.
Visit employer page
JOB DETAILS
Published: 11 days ago
Application deadline: Unspecified
Location: London, United Kingdom
You need to sign in or create an account to save this job
Please mention that you found this job on Academic Positions when applying.
SHARE THIS JOB

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.

Research Duties

  • 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
  • international meetings.
  • 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.

Other Duties

  • 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 web page: www.imperial.ac.uk/safety/policies/organisationandarrangements.
  • To undertake Business Continuity responsibilities relevant to individual roles

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.

To undertake specific safety responsibilities relevant to individual roles, as set out on the College Website Health and Safety Structure and Responsibilities page (http://www3.imperial.ac.uk/safety/policies/organisationandarrangements).

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.

Requirements

Candidates/post holders will be expected to demonstrate the following:

Education

  • PhD in Computer Science or a closely related discipline, or equivalent research, industrial or commercial experience

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

  • 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

Other

  • 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:

  1. Champion a positive approach to change and opportunity
  2. Encourage inclusive participation and eliminate discrimination
  3. Communicate regularly and effectively within and across teams
  4. Consider the thoughts and expectations of others
  5. Deliver positive outcomes
  6. Develop and grow skills and expertise
  7. Work in a planned and managed way

Employees are also required to comply with all College policies and regulations paying special attention to:

  • Confidentiality
  • Conflict of Interest
  • Data Protection
  • Equal Opportunities
  • Financial Regulations
  • Health and Safety
  • Information Technology
  • Smoking
  • Private Engagements and Register of Interests

They must also undertake specific training and assume responsibility for safety relevant to specific roles, as set out on the College Website Health and Safety Structure and Responsibilities page.

The College is a proud signatory to the San-Francisco Declaration on Research Assessment (DORA), which means that in hiring and promotion decisions, we evaluate applicants on the quality of their work, not the journal impact factor where it is published. For more information, see https://www.imperial.ac.uk/research-and-innovation/about-imperial-research/research-evaluation/

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.

http://www.imperial.ac.uk/research-and-innovation/about-imperial-research/research-integrity/animal-research/

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.

Continue reading
You need to sign in or create an account to save this job