Formal Verification Engineer
MatXAI Hardware company
Mountain View, United StatesMid
Spark Capital
Jane Street
Situational Awareness
Marvell Technology
NFDG
Patrick Collison
Software Engineering
About the role
TL;DR
Ensure correctness of AI models across hardware and software using formal verification techniques.
Required skills
PythonC++JavaProblem SolvingAnalytical ThinkingCritical ThinkingCommunication
Domain expertise
deeptechai
Tech stack
PythonC++JavaJavaScriptTypeScriptGoRustBashCReactVue.jsAngularNode.jsDjangoFlaskFastAPISpringExpressRuby on Rails.NETNestJSLaravelGinEchoActixPhoenixMicroservicesPandasNumPySpark