Assistant Professorship Position and several PhD positions in Computer Science at IMT Lucca (Italy)

Assistant Professor in Systems Modeling and Analysis (Computer Science)

- Deadline for applications: July 11th 2014 -

http://www.imtlucca.it/faculty/positions/junior_faculty_recruitment_program.php#system_modeling_analysis_2014

The IMT Institute for Advanced Studies Lucca invites applications for an Assistant Professor position in Systems Modeling and Analysis (Ricercatore a Tempo Determinato - RTDa). The appointed candidate will carry out research regarding the foundations and formal specifications of concurrent (distributed, mobile, autonomic) systems; the quantitative and qualitative modelling and analysis of concurrent systems and design; and development of software tools to support their formal analysis. The appointed candidate will also carry out tutorship and mentoring of the Institute's PhD students with limited teaching at the doctoral level, and will participate in the development of the Institute's research activities.

Candidates should have a PhD in Computer Science, Computer Engineering or a related field; they should also have a demonstrated ability in formal methods, in system modelling and in the development of software tools, as well as experience in participation in international projects.

The appointed candidate will join the SYSMA - Systems Modeling and Analysis Research Unit (http://sysma.imtlucca.it/), which is directed by Prof. Rocco De Nicola.

In accordance with Italian legislation, the RTDa position is a necessary prerequisite for tenure-track appointments (RTDb), which then lead to the Associate Professor level. The contract is initially for 3 years, but can be renewed for an additional 2 years. The appointed candidate will benefit from IMT's comprehensive campus infrastructure, including free meals in the canteen.

IMT Lucca (http://www.imtlucca.it) is a research university and graduate school within the Italian public higher education system, focused on the analysis and management of economic, social, technological and cultural systems. IMT attracts bright students, young researchers and professors through competitive, transparent procedures at an international level, based purely on meritocratic criteria.

Interested candidates must apply by filling out the online application form at http://www.imtlucca.it/faculty/positions/junior_faculty_recruitment_program.php#system_modeling_analysis_2014. They will also be asked to submit a CV, up to twelve research papers and the name and contact details of three referees.

The deadline for applications is July 11th, 12 pm (Italian time).

=========================================================

PhD positions in Computer Science at IMT Lucca (Italy)

- Deadline July 17, 2013 -

=========================================================

The Institute for Advanced Studies IMT Lucca - Italy (http://www.imtlucca.it/) announces 41 PhD scholarships providing about EU13,600 EUR gross yearly plus accommodation and full board.

Deadline for application is July 17th, 2013 at 18:00 Italian time.

IMT Lucca (Italy) is a research university within the Italian public higher education system. IMT's mission is to establish itself as a research center that promotes cutting-edge research in key areas, structuring its PhD program in close connection with research, to attract top students, researchers and scholars through competitive international selections, and to contribute to technological innovation, economic growth and social development.

PhD programs are taught exclusively in English. The PhD Program includes a Track in Computer, Decision and Systems Science with a specific Curriculum in Computer Science. The track is coordinated by Rocco De Nicola and aims at preparing researchers and professionals with a wide knowledge of the theoretical foundations of computer science and informatics, control systems and optimization, image analysis, and management science.

The curriculum in Computer Science aims at training a new generation of researchers in the theoretical and practical aspects of modern computing systems, including global, cloud, autonomic and service-oriented systems. The focus is on the development of models, algorithms, verification methods and software tools that can tackle the challenges of today e-society efficiently and effectively. The main aim is that of characterizing and guaranteeing essential features and desirable properties of these systems such as reliability, open-endedness, autonomicity, security, concurrency, scalability, cost-effectiveness, quality of service, and dependability.

PhD students within the Computer Science curriculum will work in close collaboration with the SysMA research unit of IMT (http://sysma.lab.imtlucca.it/) or within research groups active in two institutes of the Italian National Research Council in Pisa, namely the Istituto di Informatica e Telematica (http://www.iit.cnr.it/en) and the Istituto di Scienza e Tecnologie dell'Informazione (http://www.isti.cnr.it/). More details about possible PhD projects and topics can be found under http://sysma.lab.imtlucca.it/phd/

PhD students, besides receiving the standard research scholarship of EU13,600/year (amount established by Italian law), are offered on-campus housing on a brand-new and fully integrated campus in the historical center of the beautiful Tuscan city of Lucca, and daily access to the canteen. Students also get the opportunity to spend research periods abroad during the program.

Please notice that also students that are expected to obtain the required degree by October 31, 2013 will be considered, they need anyway to apply by July 17. Further details together with the application form can be found at:

http://www.imtlucca.it/phd/phd_prospective_admission.php