-
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
-
(e.g., proof assistants, simulation frameworks, structured data environments). Familiarity with Lean or other formal mathematics platforms. Experience with temporal network analysis or hypergraph
-
and meteoritic materials as a result of space weathering and other alteration processes, and/or the weathering of Venus surface analogs under simulated atmospheric conditions. Experience in
Searches related to simulation
Enter an email to receive alerts for simulation positions