A language based approach to limiting software vulnerability

1 Research Collaborator position
(Deadline December 14th, 2016 12:00 )
Fields

Attribute Based Programming, Access Control, Semantics, Programming Languages, Security

Activity

The selected researcher will work with the members of the SYSMA unit in a program aiming at developing new methods for limiting software vulnerability by extending the attribute-based paradigm for collective adaptive system interaction to dealing with issues related to programs security. In particular, the selected researcher will consider the problems connected to access control and study the possibility of relying on the attributes exposed by the interacting peers for guaranteeing security of  accesses.

Profile

Very good ability in object oriented programming, previous expertise in languages implementation. Very good knowledge of the use of formal methods for specifying systems properties and very good knowledge of programs verification techniques. Some knowledge of security issues is preferable as well as a good knowledge of access control techniques.

Formal requirements

Close to the completion of a PhD progam (registered for more than two years) in Computer Science or related fields.

Gross amount

About 25.000 euros

Duration

1 year

Job Research Area: 
CSSE
Job Research Unit: 
SysMA
Job Contract Type: 
Assegno di ricerca
Full call
Calendar
Preliminary shortlist
Preliminary shortlist
Final decree

Application

Apply ONLINE only.

Guidelines for applying through the PICA platform (Italian | English).
Before filling in the application form, please read thoroughly the full call and collect all the files you may need:

Info

  • Personal info and contact info (compulsory);
  • University degree (compulsory);
  • PhD (compulsory only if stated in the full call).

Attachments

  • The scanned copy of a valid identity document (Passport or Identity Card - compulsory);
  • Your CV in English (compulsory).