5,0
2 feb 2026
Huidige werknemer, minder dan 1 jaar
Aanbevelen
Goedkeuring directeur
Zakelijk vooruitzicht
Pluspunten
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.
Minpunten
Like any AI startup, things move at a fast pace. Not a negative for me, but worth knowing if you prefer slower-moving environments.