Open PhD positions in Ca’ Foscari

Call for PhD positions

Ca’ Foscari University of Venice announces 6 open fully funded PhD positions in Computer Science. The Doctoral programme in Computer Science trains scholars to design, develop and lead academic and industrial research projects. It provides students with the formal background and tools needed to perform research in a rigorous way, and with the methodologies for the design and evaluation of IT systems and applications.

The programme is three years long in a context where all the graduate programmes (Master and PhD) are taught in English.

PhD students will have the opportunity to do their work inside well-established research centres:

  • ACADIA (AdvanCes in Autonomous, DIstributed and pervAsive systems)
  • KIIS (Knowledge, Interaction and Intelligent Systems)
  • Dhv (Digital Humanities Venice), in collaboration with EPF de Lausanne and Telecom Italia

Some scholarships are bound to specific research projects:

  1. – “Cybersecurity” joint with the Masarykova Univerzita
  2. – “Game-theoretic models of learning and recognition” partially supported by the European Center for Living Technology (ECLT)
  3. – “Deep learning techniques for wood-and-food scanning applications” founded by Microtec s.r.l.
  4. – one grant is founded by the Zurich University of Applied Sciences – School of Engineering (Switzerland)

Application deadline is 27th April 2017 – at 1:00 pm (CEST). More information and on-line application available at: Online Application

 

Research topics within the ACADIA research center

Successful applicants may decide to perform their PhD program supervised by one of the professors of the ACADIA group. More specifically, the themes that are addressed are the following:

Security

(ref. Prof. Michele Bugliesi, Prof. Riccardo Focardi, Prof. Flaminia Luccio)

PhD students will have the opportunity to do their work inside the well-established research centre ACADIA on the following topics:

  • Analysis of Security APIs
  • Models and tools for highly secure systems
  • Certified security for mobile and web applications
  • Web authorization and access control systems

Among the activities of ACADIA, there is the  secgroup@unive, also known as c00kies@venice in hacking competitions.
It will be possible a collaboration with the spin-off Cryptosense.

Performance engineering and formal analysis of computer systems

(ref. Prof. Simonetta Balsamo, Dott. Andrea Marin, Prof. Sabina Rossi)
PhD students will have the opportunity to do their work inside the well-established research centre ACADIA on the following topics:

  • Definition and study of formal languages for the qualitative and quantitative modelling of computer systems
  • Analysis of the performances of highly distributed systems
  • Energy-aware software architectures: modelling and analysis (bound scholarship)

Static analysis

(ref. Prof. Michele Bugliesi and Agostino Cortesi)
PhD students will have the opportunity to do their work inside the well-established research centre ACADIA on the following topics:

  • Static Analysis of Non-Functional Properties (Efficiency, Interoperability, etc.)
  • Design of new Numerical and Logical Abstract Domains for Security Analysis
  • Semantics-Based Formal Verification of Robotics Software

Statistic analysis of big data and modelling for optimisation

(ref. Prof. Carlo Gaetan, Dott. Andrea Marin)
PhD students will have the opportunity to do their work inside the well-established research centre ACADIA on the following topics:

  • Analysis of time series for forecasting workload in datacenters
  • Optimisation of resource allocation in large datacenters
  • Spatial data analysis