Research Assistant/Associate — Position available

A new post is available at Imperial College London, UK, in the VAS group. The position is associated with the EPSRC project Trusted Autonomous Systems.

The appointed researcher will be responsible for developing, in collaboration with Prof. Lomuscio, model checking methodologies, implementation toolkits, and case-study analyses, rooted mainly in modal logics and multiagent systems.

The appointment is until the 30 Sept 2016. The deadline for applications is 17 September.

Full details are to be found here.

Postdoc position available

A postdoctoral position is available at Imperial College London, UK, to work in the project “Verification of Autonomous Systems”.

The project aims to develop verification methodologies for autonomous systems specified by agent-based logics, including epistemic logic.

The position is available from now until 30 Sept 2015. Extensions are possible subject to further funding. The deadline for applications is 19 October. Applications received after this date will be considered if the post is still vacant.

Full details here.

Keynote talk at Time/Gandalf 2014

A. Lomuscio gave an invited keynote talk at the 21st International Symposium on Temporal Representation and Reasoning in a joint session with the 5th International Symposium on Games, Automata, Logics and
Formal Verification, held in Verona, Italy.