-
formal methods techniques, such as model checking, deductive verification, and symbolic execution. It aims to apply these techniques to production-level scientific libraries, such as PETSc and Flash-X
-
spectroscopy and Brillouin light scattering (BLS) spectroscopy, complemented by micromagnetic modeling of the experimental results. The fellowship will involve work related to the setup and operation of a wave
-
collaborate with the theoretical physics group Major Responsibilities Investigate new approaches to searching for physics beyond the Standard Model including: o New ideas for probing theoretically motivated
-
public policy, geography, environmental studies, planning, sociology, engineering, or a related field (completed by start date). Demonstrated interest or experience in climate adaptation decision-making
-
with emerging devices developed in the group; Deep understanding of the device physics and the know-how of circuit design; Device fabrication, characterization, model extraction and apply device model in