-
. This position will join research efforts in developing novel computational approaches, including AI/ML methods, interatomic potentials, molecular dynamics simulations, and exascale-ready codes for materials
-
significant portion of the work will involve solid-state NMR methods development for instance through the development of novel data analysis tools, pulse sequence development, and the advancement and
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions