[TYPES/announce] seeking a lecturer for 6hs on proof-assistants in Padova

[Maria Emilia Maietti]

——————————————————————————————————————————————
Seeking a  lecturer to give a 6-hour introduction to
proof-assistants in Padova
————————————————————————————————————————————

We are looking for a scientist (even a PhD student with high
expertise)
to give 2 or more seminars for a total of 6 hours maximum
(that can be split from 2  up to 3 days) as an
***introduction to the use of a proof-assistant based on dependent type theory***,
   preferably Lean,   or Coq or Agda.

Period of seminars: to be chosen in May/June 2019
Location: University of Padova
Type of students: master students in Computer Science at the University
of Padova.

Compensation: 1500 euros
DEADLINE for application : 10th February 2019

If you are available please write no later than 10 February to
  maietti at math.unipd.it

with a CV included.

Many thanks for your attention
Best wishes for 2019!

  Maria Emilia Maietti