“While formal methods have been studied for decades, their deployment remains limited; further innovation in approaches to make formal methods widely accessible

“While formal methods have been studied for decades, their deployment remains limited; further innovation in approaches to make formal methods widely accessible is vital to accelerate their broad adoption.” — White House Well gosh. I applied to US research programs with an interest in formal methods and was rejected absolutely across the board. Good luck to you.