5.0
2 Feb 2026
Current employee, less than 1 year
Recommend
CEO approval
Business outlook
Pros
Just started but already impressed. The product solves a real problem—bringing verifiable, trustworthy AI to science and engineering where accuracy actually matters. I believe in the mission of eliminating AI hallucinations through formal verification. The team is smart, collaborative, and genuinely good people to work with. The company invests in its engineers—they provide subscriptions to AI tools like Claude Code and Cursor, plus other good perks. HR and people team have been great throughout the process.
Cons
Like any AI startup, things move at a fast pace. Not a negative for me, but worth knowing if you prefer slower-moving environments.