[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
——————————————————————————————————————————————
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
[email protected]
with a CV included.
Many thanks for your attention
Best wishes for 2019!
Maria Emilia Maietti
