Postdoctoral position in formal methods and quantum computation, Verona (Italy)

We are seeking candidates for a one year post-doc position (with a possible one year extension) in the context of the QUILAB group at the University of Verona.

The research project is concerned with formal methods and quantum computation, with a particular focus on quantum languages design and implementation. The scientific advisor of the project is Margherita Zorzi (email: margherita.zorzi at univr.it).

Topics and requirements for applicants.

We are looking for researchers who can contribute to one or more of the research topics listed in the project. Candidates should hold a PhD in Computer Science (or a closely related field such as Mathematics) or be close to completing their PhD.

Particularly welcome are candidates with skills in
- Quantum computation, models of computation and quantum algorithms
- Type theory in programming languages
- Formal methods and logical systems
- Denotational semantics for programming languages
(skills in category theory would be much appreciated).

Dates and Timeline

- Expression of interest: as soon as possible. Please, contact Margherita Zorzi (margherita.zorzi at univr.it) and Alessandra Di Pierro (alessandra.dipierro at univr.it)

Starting date: from May 2019 onwards.

End of funding: 12 months after the starting date, with closing date not later than December 2020.

Salary:

1300-1400 euros/month (after tax).