PUBLIC SELECTION ANNOUNCEMENT FOR ADMISSION TO PHD COURSES FOR THE XXXII CYCLE
Anyone who is in possession of the following, regardless of their nationality, may apply to take part in the selection process: • Italian diploma di laurea (vecchio ordinamento) • Master Degree (Italian Laurea specialistica/magistrale - nuovo ordinamento) • second-level academic
Call for applicants for twelve (12) four-year doctoral student positions, three (3) two-year positions and one short-term position (six months) in the research groups of Infotech Oulu Doctoral Programme in the fields of electronics, communications engineering, computer science and engineering, and software engineering and information systems
The Infotech Oulu Doctoral Programme originates from Infotech Oulu (Read More...
In the Formal Methods and Tools (FMT) research group, formal techniques and tools are developed and used as a means to support the development of software. This includes the development of formal theories of concurrency, design methodologies for distributed systems, and correctness assessment using verification or validation techniques. The group is also concerned with the development of traditional tools such as compilers and interpreters. In both research and courses much attention is paid
Deadline : 31 October 2017
Deadline : 1 January 2018