We hired some people from CSIRO who did that seL4 thing that was quite impressive. The lack of productization was also impressive, to the point I don't know why they did it in the first place. Maybe I should ask them.
I'm mostly frontend dev + done some machine learning analysis for academic institutions.