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
- University CollaborationsPlanned
- Industry CollaborationsPlanned
