The TCS group at the University of Cagliari has openings for 1 postdoc position, starting September 1st this year. The position, funded by the Autonomous Region of Sardinia under the L.R. 7/2007, is for 1 year.
The project TESLA (Techniques for Enforcing Security in Languages and Applications) has, among its targets, the usage of formal
methods to address security problems in software, in a “vertical” view where problems are considered at different abstraction levels. Besides a foundational level, with idealized programming languages, other more concrete levels are considered, e.g., the one of application, in which concretely tests scenarios developed in the other levels. The main case study concern the dematerialization of the documents of the University of Cagliari. The PostDoc duties are focused on the study and development of formalisms based on logics and automata, which allow to specify and enforce security properties on the execution history within the chosen case study.
Deadline: June 22nd, 2011.
Position start: September 1, 2011.