[TYPES/announce] 1-year Post-Doc Position at University of Verona-- Quantum Programming Languages

[Margherita Zorzi]

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 (https://quilabverona.wordpress.com/).

The scientific advisor of the project is  Margherita Zorzi (email: margherita.zorzi at univr.it).


****The research project is concerned with formal methods and quantum computation, with a particular focus on quantum languages design and implementation.
Please find attached a flyer with more details about the research topics and candidates’ evaluation procedure.

**** 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 (see the attached flyer).

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

Please spread the word among your students and colleagues.

Best regards,
 Margherita Zorzi

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20190207/918879a4/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: flyer-1.pdf
Type: application/pdf
Size: 37757 bytes
Desc: flyer-1.pdf
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20190207/918879a4/attachment-0001.pdf>