Research Associate (Post-doctoral) in Argumentation Reasoning and Logic Programming for Security
Imperial College London
Department of Computing
Salary range: £33,410 to £42,380 per annum
Full time, fixed term appointment up to 29th July 2017
To start 1st July 2015 or as soon as possible.
Closing Date for applications: 14 June
Full details and how to apply can be found at:
We are seeking to appoint a post-doctoral research associate to investigate the use of argumentation reasoning and logic programming techniques to the adaptive defence of computer systems against malicious intrusions and the control of information disclosure. Our group has a number of exciting projects in collaboration with industrial and academic partners with both EU and UK EPSRC funding. The post holder will have primary responsibilities across two projects but will also have the opportunity to contribute more broadly to the activities of the group.
To apply for this position, you will need to have a strong computing or engineering background and a proven track record in research. Knowledge and experience in one or more of the following areas and techniques is required:
Logic programming with priorities
Policy and enforceable rule-based specifications for security
Analysis techniques for such specifications
Logic-based knowledge representation techniques
Inductive logic programming.
Game theory and applications to security
Should you have any queries regarding the application process please contact Sarah Willis: email@example.com
For details concerning the post please contact Emil Lupu: firstname.lastname@example.org