Research Assistant / Associate in Formal Methods, Specification and Verification and Compositional Program Analysis
Job Description
Faculty / Department
Faculty of Engineering
Salary
£43,003 – £56,345 per annum
Location / Campus
South Kensington Campus – On site only
Contract Type / Work Pattern
Full time – Fixed term
Closing date
22-Oct-2024
About the role
We a looking for a motivated Research Assistant / Associate in Formal Methods, Specification and Verification and Compositional Program Analysis to work in our “Proof of Bugs for All” project.
This is a 12-month research project (with the possibility to extend it further) funded by the Information Innovation Office (I2O) at the Defense Advanced Research Projects Agency (DARPA).
The project is led by Dr Azalea Raad in collaboration with Prof Peter O’Hearn at University College London and seeks to seed a fundamental direction for program analysis tools, based on the recent theory of incorrectness logic. The project’s goal is to develop a stable prototype analyser that enables sound bug detection throughout the full life cycle of program development, from development in an IDE all the way to deployment to production.
The Department of Computing at Imperial College London is a leading department of Computer Science among UK Universities. The department has achieved top results in each of the research assessment exercises undertaken by the Higher Education Funding Council for England. There are over fifty academic staff members actively involved in research, creating a lively and stimulating atmosphere. The department is in central London, next to Hyde Park and the museums of South Kensington.
What you would be doing
You will be supporting the PIs and Research Engineer in developing an analyser that can provide accuracy (soundness) of bugs detected and ease of use for developers. You will work closely with the PIs to develop new theoretical foundations to underpin the analyser integrating these ideas into the analyser and participating in its development.
What we are looking for
You will need a strong track record and a background in formal methods, specifically in the theory of under- approximate reasoning and compositional analysis.
Experience in working with current symbolic execution techniques and tools and / or experience developing automated and semi-automated verification tools will be highly desirable.
You will need to have, or expect shortly to obtain, a PhD in Computer Science or a closely related field, with a strong background in at least one of the following areas: Formal Methods, Specification and Verification and Compositional Program Analysis.
Please see job description for a full list of requirements for the role.
What we can offer you
This is an exciting project, aiming to seed a fundamental direction for program analysis tools, based on the recent theory of incorrectness logic.
You will be working closely with prominent researchers in the verification community, developing new theoretical and real-world applications.
The opportunity to continue your career at a world-leading institution and be part of our mission to continue science for humanity.
Grow your career: Gain access to Imperial’s sector-leading dedicated career support for researchers as well as opportunities for promotion and progression
Sector-leading salary and remuneration package (including 39 days off a year and generous pension schemes).
Further information
The position is available for an immediate start. This is a fixed term position for 12 months with the possibility of extension.
In addition to completing the online application candidates should attach:
A full CV, with a list of all publications
A 1-page research statement indicating what you see are interesting research issues relating to the above post and why your expertise is relevant.
If you require any further details on the role please contact: Dr Azalea Raad, [email protected]
For queries regarding the application process contact Jamie Perrins: [email protected]
Available documents
Attached documents are available under links. Clicking a document link will initialize its download.
Download: Employee Benefits Booklet.Pdf
Download: Job Description Research Assistant Or Associate ENG03265.Pdf
Please note that job descriptions are not exhaustive, and you may be asked to take on additional duties that align with the key responsibilities mentioned above.
We reserve the right to close the advert prior to the closing date stated should we receive a high volume of applications. It is therefore advisable that you submit your application as early as possible to avoid disappointment.
If you encounter any technical issues while applying online, please don’t hesitate to email us at [email protected]. We’re here to help.
About Imperial
Welcome to Imperial, a global top ten university where scientific imagination leads to world-changing impact.
Join us and be part of something bigger. From global health to climate change, AI to business leadership, here at Imperial we navigate some of the world’s toughest challenges. Whatever your role, your contribution will have a lasting impact.
As a member of our vibrant community of 22,000 students and 8,000 staff, you’ll collaborate with passionate minds across nine London campuses and a global network.
This is your chance to help shape the future. We hope you’ll join us at Imperial College London.
Our Culture
We work towards equality of opportunity, to eliminating discrimination, and to creating an inclusive working environment for all. We encourage applications from all backgrounds, communities and industries, and are committed to employing a team that has diverse skills, experiences and abilities. You can read more about our commitment on our webpages.
Our values are at the root of everything we do and everyone in our community is expected to demonstrate respect, collaboration, excellence, integrity, and innovation.