Skip to content. Skip to navigation
McGill Home SOCS Home
Personal tools
 

Casual Student Research Assistant

The candidate is responsible for developing a tool which translates specifications written in the proof and programming environment Beluga into type-set inference rules in Latex.

Title of the Position: Casual Student Research Assistant Duties: The candidate is responsible for developing a tool which translates specifications written in the proof and programming environment Beluga into type-set inference rules in Latex; inductive proofs written as recursive programs in Beluga are to be translated into type-set proofs in Latex. It generates good-quality typeset output. The tool will be written in OCaml. The tool helps to bridge the gap between formal mechanization of meta-theory and the informal type-setting in Lated. Required Skills: Strong knowledge of OCaml and Latex; familiarity with the proof and programming environment Beluga (or similar proof environments using dependent types). Hourly wage for the position: $15.00 DATES: May 01 – Aug 30 Location: McConnell Engr. Building Application: Please send c.v. to sheryl@cs.mcgill.ca