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.
Where Imperial or funder conditions necessitate, you will be required to complete timesheets for your work on projects in a timely manner.
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.
Candidates/post holders will be expected to demonstrate the following:
Skills & Abilities
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:
Employees are also required to comply with all College policies and regulations paying special attention to:
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.
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
|Title||Research Associate in Verification of Learning-enabled Cyber-physical Systems|
|Employer||Imperial College London|
|Job location||South Kensington Campus Exhibition Rd, London|
|Published||June 8, 2018|
|Job types||Research assistant  |
|Fields||Informatics,   Information Science,   Industrial Engineering,   Computer and Society,   Computer Communications (Networks),   Operating Systems,   Programming Languages,   Software Engineering,   Theory of Computation,    and 5 more. Manufacturing Engineering,   Computational Physics,   Electrical Engineering,   Computational Sciences,   Machine Learning  |