[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
The announcement below may be relevant for people interested in Rust, ownership
types, and verification looking for a postdoc position.
Best,
Marco
Steve Ko (Associate Professor at Simon Fraser University in Vancouver, Canada,
https://steveyko.github.io/) is looking for a postdoc with a background in
programming languages and/or software engineering. The postdoc will work on a
research project that explores verification for mobile systems software using
the Rust language combined with symbolic execution and other verification
tools. The project is being done in collaboration with Marco Gaboardi
(Associate Professor at Boston University in Boston, USA,
http://cs-people.bu.edu/gaboardi/). The postdoc will be the main lead of the
project and potentially work with a group of PhD/MS/undergraduate students. The
expected duration of the position is two years. Interested applicants are
encouraged to send their CV directly to Steve Ko at steve...@sfu.ca.
- Steve
