13 formal-method-phd positions in Canada

Sort by: relevance | listed |

Enter an email to receive alerts for formal-method-phd positions

Tier 2 Canada Research Chair in Vascular Links to Neurodevelopment

University of Ottawa, Ontario CANADA | Ottawa West, Ontario | Canada | about 2 months ago

justifications ). In such cases, the institution must submit to the CRC Program a formal Tier 2 justification explaining why the candidate continues to meet the expectations for a Tier 2 Chair as an emerging
Postdoctoral Fellowship - Mathematics for AI Safety

Fields Institute | Central Toronto Roselawn, Ontario | Canada | 15 days ago

learning, AI interpretability, formal verification methods, modeling emergent risks from AI R&D automation. Candidates are encouraged to interpret these subject areas broadly. Fellows will have access
Associate or Full Professor (Tenure Track) and Canada Research Chair (CRC) Tier 1, Department of Family Medicine (RL# L000692)

McGill University | Cote des Neiges East, Quebec | Canada | 7 days ago

and PhD levels, we are methodological leaders in participatory and mixed-methods research with a demonstrated record of national and international leadership with extensive collaborations with other

Enter an email to receive alerts for formal-method-phd positions