Logic List Mailing Archive

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

The scientific advisor of the project is Margherita Zorzi (email: 
margherita.zorzi@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.

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@univr.it) and Alessandra Di Pierro 
(alessandra.dipierro@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


--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam