High-Stakes AI/ML & Formal Methods Engineer

high-stakes engineering where failure is not an option. Core work: rescuing stalled or non-functional AI/ML projects; sourcing and vetting qualified engineers, drawing on years of hiring the best talent and over a thousand interviews; and applying formal methods to build systems whose correctness is provable rather than hoped for.