133 proof-checking-postdoc-computer-science-logic Fellowship positions at University of British Columbia in Canada
Sort by
Refine Your Search
-
Human Program (MHU), providing access to a global network of collaborators and resources at the frontier of human developmental and computational biology. This post-doctoral fellow position focuses
-
NIFA supports research, educational, and extension efforts in a wide range of scientific fields related to agricultural and behavioral sciences. In all of these areas, you will find NIFA working in
-
; pharmacoepidemiology using quantitative or mixed methods; sociology and/or anthropology of medicine; health informatics; applied science, technology and society perspectives. Ability and experience in medicine and/or
-
/or anthropology of medicine; health informatics; applied science, technology and society perspectives. Ability and experience in medicine and/or clinical research coordination. Experience collecting
-
The purpose of the Mathematical Sciences Postdoctoral Research Fellowships (MSPRF) is to support future leaders in mathematics and statistics by facilitating their participation in postdoctoral
-
The LSRF award provides three (3) years of support to a named postdoctoral researcher at a non-profit university or research institution. The award is paid to the university or research institution where the researcher is carrying out their project and is solely for the benefit of the named...
-
The Division of Atmospheric and Geospace Sciences (AGS), awards Postdoctoral Research Fellowships (PRF) to highly qualified early career investigators to carry out an independent research program
-
The HFSP fellowship program supports proposals for frontier, potentially transformative research in the life sciences. Applications for high-risk projects are particularly encouraged. The projects
-
For 2026-27, SLMath will appoint 6-8 Postdoctoral Fellowships to each of the programs. Fellowship applications are reviewed by program organizers and the Broadening Participation Advisory Committee
-
computing and/or high-performance computing (HPC) environments for bioinformatics workflows. The successful candidate must exhibit excellent communication skills; a demonstrated potential for excellence in