-
research into control theory of neural population dynamics. This position has the specific focus of developing ML methods to assess the feedback controllability of neural population dynamics recorded from
-
or experience in distributed training on large scientific datasets and staying current with new training methods and architectures. Experience with performance and profiling tools such as Perftools, NVIDIA Nsight
-
Chemistry, Physics, Materials Science, or a related field. Hands-on experience with first-principles or atomistic methods relevant to interfacial systems, including DFT, ab initio MD, enhanced sampling
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions