17 software-formal-method-phd "https:" Postdoctoral research jobs at McGill University
Sort by
Refine Your Search
-
ABIF can be found at: http://www.mcgill.ca/abif. Primary Responsibilities 1. Technical Development & Innovation Lead and document quality control (QC) workflows for ABIF imaging systems, including
-
expertise/interest in Bayesian methods for addressing measurement error. Ideally PhD within the last 5 years. Advanced level experience with R, desired knowledge of Nimble, Overleaf. Excellent communication
-
the date on which their PhD was awarded, regardless of when they are hired. Be sure to refer to the following link for further information on eligibility criteria: http://www.mcgill.ca/gps/postdocs/fellows
-
coordination and communication with community partners. ________________________________________ Required Qualifications • Experience with qualitative research methods (e.g., focus group facilitation, content
-
Lab, Montreal Neurological Institute (The Neuro), McGill University https://www.couturierlab.com About the Project The Couturier Lab is seeking an enthusiastic and driven Postdoctoral Fellow to
-
) microscopy, FLIM, STED, lattice lightsheet microscopy, fluorescence correlation spectroscopy (FCS), image processing and analysis and spectral imaging. More information about the ABIF can be found at: http
-
: Department of Physics Position Summary: The postdoc will work on an observational cosmology project that connects data from their PhD experiment (CO Mapping Array Project; COMAP) and a McGill-lead experiment
-
-driven protocols, pipelines, and validation strategies for real-world deployment. Work includes method development, reproducible workflows, data curation, and experimental design to support multi-project
-
of junior students - Writing papers - Composing and writing research proposals - Speaking at international conferences Qualifications: PhD in Chemistry Before applying, please note that to work at McGill
-
, such as a familiarity with data analysis software (e.g., Python, IDL, MATLAB, FORTRAN) Prototype algorithms, validate outputs, and document methods clearly Qualified and interested applications are invited