-
explores novel aggregation methods at the intersection of AI safety, computational social choice, and judgment aggregation, aiming to formally integrate multi-stakeholder preferences into AI system design
-
available data and apply causal inference methods, including Mendelian randomisation, to identify candidate mechanisms linking circadian misalignment and sleep disturbances with cardiometabolic disease
-
methods, including Mendelian randomisation, to identify candidate mechanisms linking circadian misalignment and sleep disturbances with cardiometabolic disease. The successful applicant will join an
Searches related to formal method
Enter an email to receive alerts for formal-method positions