DORNERWORKS, LTD.

Grand Rapids, MI · Semiconductors · Still private

A security-hardened computing system combining seL4 microkernel on a security-enhanced RISC-V processor, with ecosystem tools and libraries for practical deployment.

Claim this profile

Follows are private to you and power your alerts

Updated Oct 23, 2026 · dornerworks.com

Sector: Semiconductors
Headquarters: Grand Rapids, MI
Total capital: $7.7M

Federal grants: $7.7M; 13 awards · 2015–2025; Rank in peer group#3 of 57
Private capital raised: None on recordNo Form D filings on SEC EDGAR. Some raises are not filed.
Federal contracts: None on recordNo federal contract awards found.
Granted patents: 2; 4 pending · first 2017; Rank in peer group#14 of 57

Capital timeline

Latest events

Sep 2025Federal grantNASA · Phase I · SBIR I Assured Isolation Of AI (AI^2) For Hpsc Platforms$149K
Jun 2025Federal grantDefense · Phase I · High Assurance Container Architecture (haca) For Secure Multi-domain Applications$139K
May 2025Federal grantDefense · Phase II · Transitioning Legacy Space Mission Software For Cyber-hardening$1.2M
Apr 2025Federal grantDefense · Phase I · Topic A244-P037 Real-time Density Tracking Distributed Kernel Method For Realizing Collaborative AI At Extended Ranges$249K
Apr 2025Federal grantDefense · Phase II · Small Business Innovative Research (SBIR) Phase II Under Topic A234-026$1.9M
Oct 2024Federal grantDefense · Phase I · Kick-off Briefing Materials & Fwa Cert.$140K
May 2024Federal grantDefense · Phase I · High Bandwidth Red/black Time-sensitive Networking Ethernet Switch For Space Platforms$74K

Show 6 earlier federal awards

Feb 2024Federal grantDefense · Phase II · Devsecops Enablement For Dual Use High Assurance Software$1.2M
Feb 2024Federal grantDefense · Phase I · SBIR Phase I Topic A234-026, Porting Rtk To High Assurance Kernel.$200K
Oct 2020Federal grantDefense · Phase II · seL4 on RISC-V for Secure U.S. Army Applications$529K
Feb 2019Federal grantDefense · Phase I · High Assurance Systems via the Open Source seL4 Microkernel and Open RISC-V Processor$150K
Jun 2016Federal grantDefense · Phase II · Leveraging Assurance on an seL4-Enabled Safe & Secure Soldier Helmet Display$1.5M
Jun 2015Federal grantDefense · Phase I · An seL4-Enabled Safe & Secure Soldier Helmet Display$148K

Node area is scaled to amount. Form D reports securities sold, which can differ from an announced round; filings are numbered in the order they were made.

Standing among 57 peers

Line = median

Semiconductors · System

Federal grants#3 · top 5%
Granted patents#14 · top 25%

Cumulative measures favor older companies. Rankings describe position today, not outcome. Below the median, ranks show as a band rather than a number.

Founders and team

No founders are linked to this company yet.

Founders appear once a person is matched to the company through its own patents, grants or filings. We never infer people from social profiles.

Checked: USPTO inventors; federal award principal investigators; SEC Form D related persons · Oct 23, 2026

Claim this profile to add your team

What it has protected

USPTO · 2 granted of 6

Sep 1, 2020GrantedSystem And Method For Scheduling CommunicationsUSPTOUS 10,764,201
Apr 25, 2019PendingComputer System Data GuardUSPTOApplication 15788963
Mar 7, 2019PendingDynamic Security Domain Data Flow Analysis Via Passive MonitoringUSPTOApplication 15693579

Show all 6 patent records

System And Method For Scheduling CommunicationsSep 1, 2020 · US 10,764,201Granted
Computer System Data GuardApr 25, 2019 · Application 15788963Pending
Dynamic Security Domain Data Flow Analysis Via Passive MonitoringMar 7, 2019 · Application 15693579Pending
System And Method For Deterministic Time Partitioning Of Asynchronous Tasks In A Computing EnvironmentDec 5, 2017 · US 9,836,418Granted
System And Method For Scheduling CommunicationsApplication 62591296Pending
System And Method For Deterministic Time Partitioning Of Asynchronous Tasks In A Computing EnvironmentApplication 61778474Pending

Phononic Devices, Inc.Similar federal contract value in Semiconductors · null in contracts
Equal1.Labs Inc.Similar federal contract value in Semiconductors · null in contracts
AMS AGSimilar federal contract value in Semiconductors · null in contracts
M/A-COM Technology Solutions Holdings, Inc.Similar federal contract value in Semiconductors · null in contracts
MONOLITH SEMICONDUCTOR INCSimilar federal contract value in Semiconductors · null in contracts
Applied Digital Corp.Similar federal contract value in Semiconductors · null in contracts

Sources

Federal grants from SBIR/STTR, NIH, NSF and DoD records. Federal contracts from USAspending.gov. Private capital from SEC Form D. Patents from USPTO. Publications from OpenAlex. Regulatory activity from the Federal Register. Press matched on company name.

How to read this page

Figures show associations in public records, not causes or predictions. Nothing here is investment advice. An em-dash means no record was found under this company's name, not that none exists.

Data freshness

SEC Form D filings through Oct 23, 2026. SBIR and STTR awards through Oct 21, 2026.