Skip to content
Research
ResearchPlanned

Research Grants

Funding for independent work on the embedded stack — security analysis, formal verification, hardware bring-up — awarded on published criteria.

This programme has not started

It is proposed and not yet running, so there is nothing to apply for today and no members to contact. It is published here because the Foundation would rather show the shape of what it intends to build than announce it as though it already exists.

If you would like to help start it — or you have run something similar and can say what went wrong — that is genuinely useful now, and more useful than it will be later.

Other research programmes