Sort by
Refine Your Search
-
on high-precision methods, are encouraged to apply. Dark Photon/Axion search with Penning trap (TBA) This project uses a milli-Kelvin Penning trap to confine and cool a single electron, representing a
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions