Contractor
CARNEGIE MELLON UNIVERSITY
- UEI
- G4P3TF8PFH73
- Resolved by
- uei
- Confidence
- 1.000
Active from Sep 9, 2020 to Jul 30, 2026.
Recent awards
| Award | Agency | Place | First action | Current value |
|---|---|---|---|---|
| 693JJ620C000025 NEW CONTRACT FOR STUDY OF FORMAL VERIFICATION TECHNIQUES TO MATHEMATICALLY GUARANTEE SAFETY IN NEXT GENERATION POSITIVE TRAIN CONTROL (PTC) SYSTEMS. | Department of Transportation | PA | Sep 9, 2020 | $662,936 |
| FA870220F0001 CARNEGIE MELLON UNIVERSITY SOFTWARE ENGINEERING INSTITUTE FFRDC RESEARCH AND DEVELOPMENT | Department of Defense | PA | Mar 3, 2026 | $804,140,448 |
| FA870226FB002 OPERATION OF THE CARNEGIA MELLON UNIVERSITY SOFTWARE ENGINEERING INSTITUTE FFRDC. R&D | Department of Defense | PA | Apr 27, 2026 | $17,905,038 |
| FA870225FB035 OPERATION OF THE CARNEGIE MELLON UNIVERSITY SOFTWARE ENGINEERING INSTITUTE FEDERALLY FUNDED RESEACH AND DEVELOPMENT CENTER. | Department of Defense | PA | Mar 3, 2026 | $135,358,838 |
| FA870221F0005 CARNEGIE MELLON UNIVERSITY SOFTWARE ENGINEERING INSTITUTE FFRDC RESEARCH AND DEVELOPMENT | Department of Defense | PA | Mar 4, 2026 | $78,731,483 |
| FA870225FB036 SEE SCHEDULE. THE EFFECTIVE DATE IS THE SIGNED DATE. | Department of Defense | PA | Mar 4, 2026 | $10,354,000 |
Sources and method
Figures on this page are computed from public federal award records. Numbers are never estimated or generated; where a figure is withheld, the reason is stated rather than filled in.
Totals sum obligations across every award attributed to this contractor. Obligations are cumulative funding actions, not the value of work delivered.
- 1Awards are attributed by Unique Entity Identifier G4P3TF8PFH73, the government's own recipient identifier, not by name matching.
- 2Award records from USAspending.gov, last refreshed Aug 10, 2026.