Postdoctoral position in formal modelling of the problem domain, Toulouse (France)

A post-doctoral position is available at Toulouse, France, jointly proposed by Onera/DTIM and IRIT. The objective is to enrich existing formally-grounded requirement modelling approaches in order to allow to reason about the problem domain.

Over the last few years, Onera has been developing a core language for requirements modelling, called Khi, which allows to describe the behavioural goals of the system on the one hand, and the different agents of the system, with their behaviour, on the other hand. The aim of this postdoctoral position is to devise an extension of Khi allowing to reason about both the expected behaviour of the system and the main concepts that form the domain, as well as a method, possibly supported by a software prototype, allowing to design and validate models of the above-mentioned Khi extension. The underlying formal semantics will build on USL on the one hand, and on a formal framework well- suited for domain modelling (e.g., first-order logic, relation algebra, description logics or algebraic specification) on the other hand.

Applications must be received before (extended deadline) 9 January, 2014. Further details are available on the following link: http://www.onera.fr/sites/default/files/u494/postdoc-Onera.pdf.