-
and scientific exploitation of state-of-the-art, ground-based gamma-ray telescopes. As a key member of the MAGIC and CTAO-LST collaborations, the group develops critical hardware, software, and data
-
. IFAE works with CERN in the design of the ET vacuum pipes. The IFAE research program spans many topics in astrophysics and cosmology using LIGO-Virgo data. This includes searches for compact binary
Searches related to software verification computer science
Enter an email to receive alerts for software-verification-computer-science positions