37 proof-checking-postdoc-computer-science-logic PhD positions at University of British Columbia in Canada
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
-
Doctor of Philosophy in Chemistry (PhD) Using conventional computations and quantum simulations to accelerate the in silico design of highly efficient optoelectronic materials Charu Gupta Doctor
-
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
-
must be registered full-time in one of the eligible graduate programs. For program eligibility and award amount, check your graduate program listing under Graduate Degree Programs (see Tuition / Program
-
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
-
: the Journeys of Extra-continental Migrants through the Americas Zitao Chen Doctor of Philosophy in Electrical and Computer Engineering (PhD) Making machine learning reliable, secure and private View All Stories
-
technology development are the three pillars of the research program. PROJECT DESCRIPTION We are seeking one MSc student to join us in 2025. Their projects aim to build a 3D cell culture system to mimic
-
) program is designed to attract and retain world-class doctoral students by supporting students who demonstrate both leadership skills and a high standard of scholarly achievement in graduate studies in