The Coq mailing list

[Maria Paola Bonacina <mariapaola.bonacina AT univr.it>]

With apologies for multiple postings.

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.