AISB opportunities Bulletin Item
Postdoctoral position in automated reasoning, Verona, ITALY
Postdoc in Automated Reasoning The Department of Computer Science of the Universita` degli Studi di Verona, in beautiful Verona, Italy, has one opening for a University funded, full-time on research, post-doc position in Automated Reasoning (automated deduction, theorem proving, model building, SMT-solving) applied to program analysis. The position is for one year (12 months) and is renewable. Recent Ph.D. graduates or Ph.D. students very close to graduation in Computer Science or related field with a thesis in automated reasoning or neighbor topics are kindly invited to apply. More experienced applicants with a few years of postdoc experience are also very welcome. Applications (with Curriculum Vitae, research statement, and at least three names and addresses of references) or inquiries can be sent by e-mail to: Prof. Maria Paola Bonacina Dipartimento di Informatica Universita` degli Studi di Verona mariapaola.bonacina (at) univr.it Applications will be considered as soon as received.