Postdoctoral positions in formal verification and planning, Trento (Italy)
The Embedded System Research Unit of the Information and Communication Technology Center of the Bruno Kessler Foundation, Trento, Italy, is seeking candidates for Post-Doc positions, to be hosted according to the call of proposal “Trentino – The Trentino programme of research, training and mobility of post-doctoral researchers”, to be funded by the Autonomous Province of Trento.
Applications are invited in the broad field of formal verification and planning. Project proposals may have a duration of between two and three years, and its yearly cost must not exceed 50.000 Euro. The ideal candidate should have a PhD degree in computer science, mathematics or electronic engineering, combine solid theoretical background and software development skills, and have some degree of autonomy.
Deadline: September 27, 2011. For more information, see the website of the Embedded Systems Research Unit at https://es.fbk.eu/, or the Trentino Call for Applications at http://www.uniricerca.provincia.tn.it/in_evidenza/pagina70.html.