-
methods, including Mendelian randomisation, to identify candidate mechanisms linking circadian misalignment and sleep disturbances with cardiometabolic disease. The successful applicant will join an
-
most tasks or in collaboration with the support of colleagues. Methods will include mouse genetics, cloning, CRISPR genome-editing, advanced imaging (confocal, STORM, STED), spatial transcriptomics
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions