I am an ex-researcher at Trustworthy Systems (the people behind seL4).
Something I've noticed from my operating systems hacking days is that current datacentre compute is unnecessarily expensive.
I believe I know how to solve this through the work done at the lab, and I would like to get funding for me to work on this.
I believe there is already a competitor out there (https://formalstack.com/).
I am 27 and I have zero idea on how I would get the necessary funding for this project as an Australian and I was wondering if anyone here would be able to help?