Keysom
At Keysom, we believe customization should not come at the cost of trust. We provide a unified platform, CoreXplorer, for generating RISC-V cores and SDKs, where proof assistant-based formal verification guarantees correctness against specifications.
7-day free trial · no credit card
Verified contacts
17
available on Kipplo
LinkedIn employees
23
11 to 50 range
Open roles
—
no listings
Distinct roles
13
indexed titles
Tech stack
1
tools in use
Monthly traffic
—
organic / mo
Sign up free to see all 17 verified contacts at Keysom
Free for 7 days · 50 credits · no card · only pay for verified records.
Decision-makers and verified team members
17 contacts with verified email or phone · masked until revealed.
No verified contacts on record for this company yet.
Top roles at Keysom
13 distinct titles indexed · top 10 shown.
- 4fpga engineer
- 1chief executive officer
- 1chief technology officer
- 1compiler engineer
- 1computer numerical control machinist
- 1formal verification engineer
- 1head of it platform
- 1ingénieur logiciels de systèmes intégrés
- 1ingénieur recherche développement
- 1lead architect
- +3more titles
Sign up to unlock all 17 contacts at Keysom
Free for 7 days · 50 credits · no card · only pay for verified records.
Sign up to reveal 17 verified contacts at Keysom
7-day trial · no credit card · cancel anytime · only pay for verified records.
Trusted by sales, marketing, and GTM engineering teams.