Current Positions

I am hiring one MSc student and one PhD student for the Fall 2024 admission cycle. I am always looking for more talented undergraduate students.

Qualifications

PhD Students should have some form of a research background. Prospectives should have a background in Programming Languages, Logic, or Formal Methods. Prospectives do not need to have a MSc.

MSc Students should either have a research background, or a very strong transcript. Prospectives need not have a background in Programming Languages or Logic, but they should have a reason for interest in the field.

Undergraduate Students should either a very strong transcript, have done a personal project related to programming languages, or have taken CMPT 489 and received a high grade in it.

How to Reach Out

If you are interested in working with me, please reach out with an email. You should include a description of what position you are looking for and how you meet the qualifications for that position. You can find salary information here.