PhD position available at McMaster University

A PhD position is available in the Computing and Software Department at McMaster University. The positions will focus on developing certifiable scientific and engineering software using a Literate Process that eliminates duplication between software artifacts and explicitly incorporates traceability between these artifacts. The motivating case study for the research will be nuclear safety analysis software in collaboration with Ontario Power Generation.

Applicants should have a strong background in software engineering or computer science, mathematical maturity and experience with technology and software development.

Interested candidates should apply for graduate studies with the Computing and Software Department (http://www.cas.mcmaster.ca/cas/0template1.php?1002) and they should send an e-mail expressing interest to one of the project supervisors: Dr. Spencer Smith (smiths@mcmaster.ca), Dr. Jacques Carette (carette@mcmaster.ca) or Dr. Ned Nedialkov (nedialk@mcmaster.ca).

The projected start date is September 2014, but this is negotiable. Please feel free to forward this advertisement to any potentially interested candidates.