Logic List Mailing Archive

Postdoctoral position in Artificial Intelligence, Paris (France), Deadline: 19 Nov 2021

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@telecom-paris.fr and vadim.malvone@telecom-paris.fr

*Deadline for application submission:* November 19, 2021.
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam