Sort by
Refine Your Search
-
focus on two main lines of research. The first concerns the modeling of general dark matter–electron interactions in detector materials. This will be achieved by combining methods from particle and solid
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions