- 
                
                
                
available data and apply causal inference methods, including Mendelian randomisation, to identify candidate mechanisms linking circadian misalignment and sleep disturbances with cardiometabolic disease
 
Searches related to formal methods
  Enter an email to receive alerts for formal-methods positions