Research Associate (Post-doctoral) in Argumentation Reasoning and Logic Programming for Security

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:

Argumentation reasoning
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:

For details concerning the post please contact Emil Lupu:

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s