Seeking teams to test whether AI-enabled formal methods can make high-assurance cyber defense practical, at scale, through building production-grade software components backed by machine-checked proofs and validated through coordinated red-team exercises.
https://bit.ly/49Wif30
Learn more about funding in ARIA's Safeguarded AI programme.
