NEW CONTRACT FOR STUDY OF FORMAL VERIFICATION TECHNIQUES TO MATHEMATICALLY GUARANTEE SAFETY IN NEXT GENERATION POSITIVE TRAIN CONTROL (PTC) SYSTEMS.
$672,886
| Recipient | CARNEGIE MELLON UNIVERSITY UEI G4P3TF8PFH73 |
|---|---|
| Award ID | 693JJ620C000025 |
| Award amount | $672,886 |
| Award type | DEFINITIVE CONTRACT |
| Awarding agency | Department of Transportation — Federal Railroad Administration |
| NAICS | 541715 — RESEARCH AND DEVELOPMENT IN THE PHYSICAL, ENGINEERING, AND LIFE SCIENCES (EXCEPT NANOTECHNOLOGY AND BIOTECHNOLOGY) |
| PSC | AS31 |
| Start date | Sep 9, 2020 |
| End date | Sep 9, 2023 |
| Place of performance | PITTSBURGH, PA |
| Record updated | Dec 1, 2021 |
View the official award record
More awards won by CARNEGIE MELLON UNIVERSITY
2025 RENEWAL OF THE CARNEGIE MELLON UNIVERSITY SOFTWARE ENGINEERING INSTITUTE FEDERALLY FUNDED RESEARCH AND DEVELOPMENT CENTER (FFRDC) CONTRACT
Department of Defense · $3,206,869,052 · Jul 1, 2025
CARNEGIE MELLON UNIVERSITY SOFTWARE ENGINEERING INSTITUTE FFRDC RESEARCH AND DEVELOPMENT
Department of Defense · $333,811,519 · Feb 10, 2020
CARNEGIE MELLON UNIVERSITY SOFTWARE ENGINEERING INSTITUTE FEDERALLY FUNDED RESEARCH AND
Department of Defense · $217,678,347 · Apr 3, 2018
IGF::CT::IGF TASK ORDER 0002 FOR CMU-SEI SEVERABLE PROJECT 6-520D1
Department of Defense · $145,950,043 · Sep 29, 2015
RESEARCH AND DEVELOPMENT CARNEGIE MELLON UNIVERSITY SOFTWARE ENGINEERING INSTITUTE
Department of Defense · $144,696,471 · Sep 9, 2020
Our catalog shows awards of $250K+ active within the last 5 years. Need older history or smaller awards? Tell us what you need — we expand by request.
Awards tell you who won. Bids tell you what's next. BidCatch scans 100+ federal, state, and local sources every night and sends the new opportunities matching your trade — before they're awarded to someone else. Free for 14 days, then $49.99/month.
Search open bids