The Opportunity FutureSight is seeking a Co-Founder & CEO to lead Closeline, an AI-native mortgage origination venture. This is a co-founder partnership with meaningful founder equity, not a salaried executive role. Closeline is building the AI-native
Job Overview: The Theorem Proving Engineering role, you will analyze new data path RTL designs and underlying algorithms, develop abstract C models of these designs, establish equivalence between RTL and C with a commercial checker (SLEC),