Software Verification

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

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

Profile

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.

Activity

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: 
CSSE
Job Research Unit: 
SysMA
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.

Procedure

A Selection Committee, appointed by the Rector, assesses all applications on the basis online application info. 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 interviews may also be conducted at IMT or by conference call. Travel expenses to Lucca for the interview 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) 

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.
Contacts: