Universiteit van Amsterdam

Please note that this newsitem has been archived, and may contain outdated information or links.

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

Deadline: Thursday 9 May 2019

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: ).

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 () and Alessandra Di Pierro ()

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).

Please note that this newsitem has been archived, and may contain outdated information or links.