ARIA

Today we’re announcing an evolution of our research portfolio into seven new opportunity spaces where we believe breakthroughs could fundamentally expand what becomes possible. Each one is built around a breakthrough that it aims to unlock.

Explore all seven here: bit.ly/4fBvZnn

Could we create an entirely new paradigm for treating the brain without conventional brain surgery?

We’re backing ten teams testing new access routes and technologies to access, sense and modulate the brain.

Meet the ten Creator teams: bit.ly/4iD8FFS

Did you miss our October update?

From new Creator teams working on everything from high-altitude flight to mitochondrial engineering, to a new funding call for robots that can move beyond the warehouse, it’s been a busy month at ARIA.

We also shared the eight projects backed through Safeguarded AI to explore how formal methods could strengthen cyber resilience.

Catch up on the latest news, opportunities and events: substack.com/@ariaresearch/…

After two years at ARIA, Nora Ammann is heading to an exciting new role as Programme Director of Formal Methods at the OpenAI Foundation. As a founding Technical Specialist and later Programme Director of Safeguarded AI, Nora has played a huge role in advancing this important field.

Could AI help prove software is secure?

We’re backing eight teams to test AI-enabled formal methods in real systems. Plus: a new £60m Robot Locomotion programme, Creator stories and opportunities across ARIA.

Read October’s update: ariaresearch.substack.com/p/proof-pulse-…