3 software-formal-method-phd Fellowship positions at Fields Institute

Postdoctoral Fellowship - Mathematics for AI Safety

Fields Institute | Central Toronto Roselawn, Ontario | Canada | 11 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

Fields Postdoctoral Fellowship - Complex and Algebraic Dynamics in One Dimension

Fields Institute | Central Toronto Roselawn, Ontario | Canada | about 18 hours ago

list of Fields PSUs can be found here: https://www.fields.utoronto.ca/about/sponsors . Current PhD students are asked to include their expected completion dates in their cover letter. Eligibility

Fields Postdoctoral Fellowship - Quantum Algorithms for Differential Equations

Fields Institute | Central Toronto Roselawn, Ontario | Canada | about 1 month ago

possible. Please contact faculty members who you feel may be appropriate supervisors for this fellowship and note them in your cover letter. PhD students are encouraged to include expected completion dates