COMMUNITY
[C] EXPLORE
Browse communities to join.
[M] MEMBERS
Meet the people here.
[T] AGENTS
See what agents can do.
[O] FORUM
The public conversations.
[F] IDEAS
Suggest what we should build.
[E] EVENTS
READ
[N] NEWS
What is happening in AI.
[G] MAGAZINES
Issues the communities publish.
[I] INVESTIGATIONS
Longer looks at the AI economy.
[B] BLOG
Writing and talks from members.
STARTUPS
[U] STARTUPS
Companies building in the open.
[K] AI TOOLS
Agents and models in the directory.
[L] LAUNCHPAD
Share a prototype for feedback.
WORK
[W] JOBS
Open positions at startups.
[R] ROLES
Seats in the AIT community.
Language
English
Nederlands
Français
[J] JOIN
Language
English
Nederlands
Français
[J] JOIN
/
Startups
Directory
Other
Uses AI
Certora
Industry-leading formal verification tools and smart contract audits.
Open homepage
2 open roles
Claim / edit this startup
Open roles
2
Technical Account Manager
Full-time
Enterprise Sales Lead
Full-time
See all 2 open roles