Software Verification

1 Assistant Professor position
(Deadline May 23rd, 2022 13:00 )

Software verification, program analysis, software engineering, formal methods, programming languages and systems 


The ideal candidate will have research experience in software verification, broadly understood as the set of tools and methodologies to ensure that software is functioning correctly, without undesirable behavior, and adhering to quality measures such as reliability, performance, and security. This includes a background in various areas of computer science, such as programming language theory and implementation, formal methods, computer-aided verification, and software engineering, with skills spanning the entire software development lifecycle, from requirements to testing and validation. 

The successful candidate will have an excellent publication record in the most relevant conferences and journals in software verification. Previous experience in technology transfer and generally impacting outside academia will be an advantage.


Involvement in research and teaching related to software verification as part of educational offerings concerning software quality and cybersecurity, supervising doctoral students, and lecturing at the advanced level in doctoral and graduate courses is expected. Given the interdisciplinary nature of the School, the successful candidate will have the opportunity to explore ongoing collaborations - and open new ones -  with researchers from other scientific disciplines.

Job Research Area: 
Job Research Unit: 
Job Contract Type: 
Ricercatore tempo determinato (legge 240/2010 art.24 comma 3 lettera b) ) - Tenure Track Assistant Professor

Selection procedure and criteria

Selection procedure conditions are transparent and are based on international standards.


A Selection Committee, appointed by the Director, assesses all applications on the basis of the online application form 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.


Before filling in the application form, please read thoroughly the full call and collect all the files you may need:


  • Personal info and contact info (compulsory)
  • Number of your Identity Document (Passport or Identity Card - compulsory)
  • University degree (compulsory) and Ph.D. (obtained, or "ongoing")
  • Name, position, institution and email address of three referees (compulsory)
    An email, with the instructions on how to upload the reference letters will be automatically sent to your referees.


  • The scanned copy of a valid identity document (Passport or Identity Card - compulsory)
  • Your CV in English (compulsory);
  • One research paper, either a published paper or a working paper (compulsory).
    Shortlisted candidates will be asked to present this research paper during the final stage of the selection process.
    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.