-
of protein X-ray crystallography to support drug discovery efforts against a novel antibacterial target of interest in our laboratory on a newly funded NIH grant. The target structure has yet to be solved
-
in many aspects of the LZ experiment, from detector calibration, simulations to data analysis. The successful candidate will play an active role in analyzing LZ data, with opportunities to improve
-
quantitative expertise in one or more of the following areas: human decision making; decision modeling; human-machine interaction; human perceptions of AI; large language models; data simulation; machine
-
(e.g., proof assistants, simulation frameworks, structured data environments). Familiarity with Lean or other formal mathematics platforms. Experience with temporal network analysis or hypergraph