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.
Interview: 09 settembre 2022 ore 10.00
Research Seminar: 09 settembre 2022 ore 11.00
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.