Sort by
Refine Your Search
-
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
Searches related to simulation
Enter an email to receive alerts for simulation positions