39 formal-verification-computer-science PhD positions at University of British Columbia
Sort by
Refine Your Search
-
registered in a master's program in September 2025, should refer to Affiliated Fellowships Master's Program . Citizenship All students regardless of citizenship are eligible to apply. However, Canadian
-
, applicants should consult with their UBC graduate program staff. Citizenship All students regardless of citizenship are eligible to apply. However, Canadian citizens and permanent residents are required
-
of Tri-Agency graduate and postdoctoral funding programs , the CGS-Doctoral program will become the Canada Graduate Research Scholarship – Doctoral (CGRS D) effective for the fall 2025 competition. A
-
ENTELLIGENCE is a program designed for basic science, translational and clinical research in the field of cardiopulmonary medicine. The ENTELLIGENCE program provides opportunities for individual young
-
Doctoral The programme supports UBC PhD students to undertake short-term research visits at the Chinese University of Hong Kong (CUHK). The programme is open to full-time PhD students from any discipline
-
Job Category CUPE 116 Job Title CUPE 116 Research Assistant Tech 2 Department Taghipour, Fariborz | Department of Chemical and Biological Engineering | Faculty of Applied Science Posting End Date
-
of Chemical and Biological Engineering | Faculty of Applied Science Compensation Range $4,426.00 - $4,845.00 CAD Monthly Posting End Date May 30, 2025 Note: Applications will be accepted until 11:59 PM
-
Tri-Agency graduate and postdoctoral funding programs, the Vanier program will be folded into the Canada Graduate Research Scholarship – Doctoral (CGRS D) program effective for the fall 2025 competition
-
Doctor of Philosophy in Electrical and Computer Engineering (PhD) Automated Closed-Loop System of Anesthesia Isaiah Betinol Doctor of Philosophy in Chemistry (PhD) Statistical Models and Machine Learning
-
the applicant shall not exceed 35 years of age (born after January 1, 1990). The applicant must meet the academic and language requirements for admission to a UBC doctoral program. Individual programs may have