Skills: Good knowledge of functional programming, preferably in
Haskell, and of basic finite state machines and propositional logic;
such as might be had by a 3rd or 4th year undergraduate or a
postgraduate student. Ability to communicate enthusiasm for the
subject and encourage students new to university to engage in and
contribute to tutorials. Tutors need to supply appropriate
encouragement and support for all students, from those who are
struggling to those who are coping easily and want to learn more.
To apply: Send email to
wadler@inf.ed.ac.uk. Include one paragraph on
your background and why you would do a good job teaching the course.
Please include any relevant documentation, such as a copy of your
transcript.
I look forward to hearing from you! Go well, -- P
. \ Philip Wadler, Professor of Theoretical Computer Science,
. /\ School of Informatics, University of Edinburgh
. / \ and Senior Research Fellow, IOHK