Specification, analysis and verification of concurrent and distributed systems

1 Assistant Professor position

(Deadline September 28th, 2017 12:00 Italian time - mezzogiorno ora italiana)

Fields:

Programming languages, Concurrency theory, System Modelling, Program Verification, Computer Security

Activity:

The successful candidate is expected to publish in first-class journals and in the proceedings of top conferences of her/his research area. Moreover, she/he will teach postgraduate courses and co-supervise PhD students. The successful candidate is also expected to collaborate in ongoing projects of the SysMA Research Unit, help establish links with local companies and institutions, and apply for national and international research funding.

Profile:

The candidate must have a proven track record of research on languages, models and techniques for the specification, analysis and verification of concurrent and distributed systems guaranteeing complementarity and continuity with respect to the existing expertise at the School. The candidate must demonstrate ability to carry out original research in concurrency theory, programming languages, and software engineering, with applications in a wide range of domains such as adaptive systems, cyber-physical systems, computational biology, cybersecurity, and transportation networks. Since multidisciplinary research is a founding value of the School, inclination to work at the intersection with other core disciplines of IMT relevant to cybersecurity will be considered an asset.

Formal requirements:

The candidate must have a PhD in one of the scientific areas highlighted in the profile before beginning the appointment. An excellent level of both written and spoken English is mandatory.

Scientific area:

01/B1 - Informatica

Research Area:
Computer Science and Systems Engineering
Research Unit:
SysMA - System Modelling and Analysis
Type of contract:
Ricercatore tempo determinato (legge 240/2010 art.24 comma 3 lettera a) ) - Fixed term researcher
Gross remuneration:

Ricercatore tempo determinato (legge 240/2010 art. 24 comma 3 lettera a))

Duration:

3 years

Full call:
download in Italian
Director Decree Selection Committee:
download in Italian
Official selection calendar:
download in Italian
Preliminary shortlist:
download in English - Italian
Interview:

On October 27, 2017 at 10.00, meeting room, Piazza San Ponziano 6, Lucca.

Final shortlist:
download in English - Italian
Presentation:

On November 17, 2017 at 10.00, Conference Room, Piazza San Ponziano 6, Lucca.

Final decree:
download in Italian

Recruitment Program Principles and Standards

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 (compulsory) and Ph.D. (obtained, or "ongoing")
  • Name, position, institution and email address of three referees (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.

Contacts

researchers.opening@imtlucca.it