[The underlying tools in this work will most likely be done in Haskell]

PhD Positions Available in the Computing and Software Department at McMaster University

For excellent candidates, two PhD positions are available in the Computing and Software
Department at McMaster University, in Hamilton, Ontario, Canada.  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.

Applicants should have a strong background in software engineering or computer science,
mathematical maturity and experience with technology and software development.  Knowledge
of computational mathematics and physics will be considered an asset.

Due to the funding model, preference will be given to domestic students or landed immigrants
in Canada.

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).

Applicants will be accepted until the two positions are filled.  The projected start date 
is September 2014, but this is negotiable.

Please feel free to forward this advertisement to any potentially interested candidates.

--

Jacques