“An independent research lab exploring the future of tools for thought”In its own words: inkandswitch.com
Independent software research lab; contracted under ARIA's Safeguarded AI programme to build tooling for formally verified AI safety.
Show detailsHide details
Received $6.2M from 1 funder
Checked 25 Oct 2026
Money flows
Where its money came from and where it went. Pick years and what to show; hover a box or ribbon for details, click one to focus it, click the background to see everything.
Funded by
All grants
1 grant totalling $6.2M, newest first.
2025 1 grant · $6.2M
| Date | Funder | Amount | Purpose |
|---|---|---|---|
| 14 Jul 2025 | Advanced Research + Invention Agency | $6.2M | Safeguarded AI TA1.3 (contract, 42 months); £3,202,021 incl. VAT; technical area inferred; amended 21/04/26 to £4,915,284 source |