Innovation
6 patent families (5 granted) — focus: Physics & computing, Electricity & electronics; filing pace dormant. Cited 205 times.
| Year | Filings |
|---|---|
| 2012 | 3 |
| 2014 | 1 |
| 2016 | 2 |
| 2017 | 1 |
| 2018 | 1 |
| 2019 | 1 |
Social engagement
Social engagement: 8K social following, 10 posts in the last 12 months — below the industry typical range.
Hiring activity
Hires frequently
20 roles tracked across 6 of the last 12 months
3 Jun 2026 · Facility Security Officer (FSO) · Minneapolis
7 May 2026 · Proposal Coordinator · Dayton
13 Apr 2026 · Principal Scientist · Portland
Based on job postings tracked across public sources.
Recent activity
22 May 2026
Product launch
Isabelle theories from Cryptol specifications
5 May 2026
Product launch
CAMET® Library
14 Apr 2026
Event
What Happens to Software When Proof is Cheap?