security; information flow; formal verification
The successful candidate will contribute to the consolidation of the scientific area related to the Software Quality track of the IMT School's PhD programme in Systems Science, contributing to the expansion of both internal collaborations, by means of multidisciplinary research, and external ones by participating in the School's research projects and promoting new collaborations with international research groups. He/she is expected to contribute to the supervision and training of the School's of doctoral students.
The candidate is expected to carry out research and teaching activities related to computer science, in particular concerning security engineering and analysis of computing systems based on formal methods. The successful candidate must demonstrate previous experience with relevant topics in security engineering and formal methods such as software security, system security, information flow, access control, and formal verification.
PhD in a field related to the present call obtained in Italy or abroad. Curriculum with a suitable scientific background for carrying out research activity in the required field.
Ricercatore tempo determinato (legge 240/2010 art. 24 comma 3 lettera a))
3 years
Selection procedure and criteria
Selection procedure conditions are transparent and are based on international standards.
Procedure
A Selection Committee, appointed by the Director, assesses all applications on the basis online application info and - if provided - reference letters. Applicants selected on the basis of the preliminary analysis are interviewed at the Job Market Meetings in which the Institute is planning to participate, if applicable to the specific academic sector. Alternatively, individual preliminary interviews may also be conducted at IMT or by conference call. Travel expenses to Lucca for the preliminary interview will not be reimbursed. Shortlisted candidates are invited for a Job Market Presentation open to IMT faculty members and students. Travel expenses for the Job Market Presentation will be reimbursed.
Selection Criteria
The evaluation criteria are based on: Quality of research activity, including publications in peer-reviewed journals and references; Research organization experience and participation in international/national research projects and research periods in public and private institutions (academic and non-academic); Relevance of the candidate's profile for the development of IMT's research activities; Teaching, mentoring and supervision experience; Motivation; Excellent knowledge of English, both written and spoken; As well as any other requirements as specified in the advertisement.
Application
Apply ONLINE only.
Before starting prepare the application attachments and information as listed below.
Info
- Personal info and contact info (compulsory)
- Number of your Identity Document (Passport or Identity Card) (compulsory)
- University degree and Ph.D. (compulsory)
- An email, with the appropriate instructions to upload the reference letters will be automatically generated and sent to your referees.
Attachments
- Your CV in English (compulsory);
- One research paper (published or working paper): compulsory.
Shortlisted candidates will be asked to present this research paper in the final stage of the selection.
Additional papers can be submitted for evaluation if desired (to be attached to your application in a single zip file where indicated in the online form). Please check the full call for further information about additional papers.