Sort by
Refine Your Search
-
, calibration, and the development of analysis tools and software. Our key focus areas are the physics of jets, top quarks, and EWSB, including the development of novel machine-learning methods for high-energy
Searches related to formal method
Enter an email to receive alerts for formal-method positions