[agents] Postdoc position in Artificial Intelligence

[Vadim Malvone]

Postdoc position in Artificial Intelligence

*Security hardening based on multi-agent system verification in the 
context of the connected car infrastructure
*

Keywords: Security, Formal Verification, Model Checking of Multi-Agent 
Systems, Security Risk Management, Attack Modelling

*Description*

Recently, classic verification approaches such as model checking have 
been extended to handle multi-agent systems. These are systems that 
encapsulate the behavior of two or more rational agents interacting 
among them in a cooperative or adversarial way, aiming at a designed 
goal. In system security checking, a malicious attack can be seen as an 
attempt of an intruder to gain unauthorized access to a resource or as 
an attempt to compromise the system integrity. The envisioned approach 
is: given an attack model of the system (such an attack graph), to model 
the interactions between the attacker & defender as a game on this 
attack model and use multi-agent system verification techniques to 
determine optimal defense strategies.

*Goals*

The global objective of this postdoc is the use of methods and tools for 
security hardening in the context of the connected car infrastructure 
based on a formal verification approach.

Some of the challenges of this postdoc will be to answer to the 
following questions:

  * How can we select security counter-measures ensuring the best
    trade-off between security level achieved and other constraints?
  * How can we capture the dynamic between the attacker and the defender?
  * How can we integrate these decision support tools in the classical
    risk management process such as defined by the ISO/IEC 27005 without
    redefining it completely?

*Profile and skills required*

- PhD in computer science, mathematics, or related fields.
- Strong computer science and/or mathematical background (with 
particular attention on formal methods, logic, and security).
- Good programming skills.
- Good level in written and spoken English.

*How to apply*

If you are interested you can apply by sending your CV and motivation 
letter to: jean.leneutre at telecom-paris.fr and vadim.malvone at telecom-paris.fr

*Deadline for application submission:* October 29, 2021.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.cs.umbc.edu/pipermail/agents/attachments/20211019/57e7882a/attachment-0001.html>