-
of proof assistant technology capable of understanding the dynamical linguistic structures found in current high-level mathematical texts. The project includes the study of interpretation mechanisms
-
acquisition and treatment - Design and adapt the protocols for the in-situ and operando gas assisted essays - Apply and perform the environmental TEM experiments under realistic conditions of reactions
-
the Zwicky Transient Facility (ZTF) and develop cosmological analyses with the supernova probe. The successful candidate will devote ~30% of their time to the ZTF group's general efforts to help construct SN
Searches related to project assistant
Enter an email to receive alerts for project-assistant positions