-
computing platforms, especially neutral atom or Rydberg systems, is advantageous - proven experience with numerical methods and scientific programming for quantum systems - a strong record of research
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions