Imandra’s Post

Imandra will be at the Defense TechConnect Innovation Summit and Expo next week. Come learn about Imandra SysML and automated reasoning from our team at booth 212. 📣 Imandra SysML is the ultimate tool for systems engineers, engineering managers, and key stakeholders seeking correctness and efficiency in model-based systems engineering. To learn about how Imandra is bringing automated reasoning to SysML visit our website here: https://lnkd.in/g9qbJbBu #SysML #AutomatedReasoning #Defense #AI #MBSE

🤖 Code Metal is thrilled to announce their $280,000 award from the United States Department of Defense, under the United States Department of the Air Force. This funding is part of the Small Technology Transfer Research Program Phase III, supporting their CTF AI Training Arena project. 🗓️ The project will be conducted over 5 months, beginning on September 13, 2024, and concluding on March 11, 2025. Code Metal is at the forefront of AI innovation, and this award will help them continue to lead in this exciting field. #STTR #AI #Innovation

🛠️ Rebellion Defense, ranked #10 in the Defense startup category on the Gen Matrix by Towards AGI, is modernizing defense software with Generative AI. Their solutions enhance national security by advancing operational readiness and resilience. Read more about the rankings 👉 towardsagi.ai/gen-matrix Gen Matrix 2024 Powered by Hitachi Digital Services #DefenseSoftware #AIInnovation #GenAI #GenMatrix

Software engineers are the main battleground for talent within deep-tech in the aerospace and defence sectors 🚀 Players like Anduril Industries, Helsing AI, and Palantir Technologies have always prioritised software expertise to lead the charge in defence tech solutions. Meanwhile, traditional primes adjusted their focus in the mid-2010s, recognising software’s growing dominance. What does the future hold for this rapidly evolving industry now we're into 2025? Our CEO, Thomas Hurd, dives deep into the challenges and opportunities shaping defence technology. 👉 Read the full article here: https://lnkd.in/e3uhWF95 #DefenceTechnology #DeepTech #Aerospace

Join my colleagues for this dedicated #aerospace and #defence webinar on the potential of GenAI to improve commercial operations and business winning

How are emerging technologies transforming the nature of warfare? Join CMIST on October 10 for our next Scientists & Strategists event: “Human and Machine: Evolving Military Strategies in the Age of AI and Robotics.” In this in-person discussion moderated by CMIST Director Audrey Kurth Cronin, panelists Dr. T.X. Hammes and Dr. Jeff Schneider will explore how military strategies must evolve to keep pace with technological innovations and highlight key questions surrounding the integration of robotics and new technologies while preserving the human dimension of warfare. Don’t miss this chance to gain a deeper understanding of the dynamics between technology and human agency in the shifting nature of armed conflict. Learn more and register: https://lnkd.in/ejb-Zt2n

Calling all Innovators! The deadline for Phase 1 Submissions is Friday, 08 NOV 2024 at 06:00 PM ET. Does your company have an innovative solution that can benefit the Defense industry? If so, you may have a chance to showcase it live, on-stage at the 2024 Eastern Defense Summit (EDS)! This year, the CDCA is partnering with the Naval Information Warfare Center (NIWC) Atlantic Palmetto Tech Bridge (PTB) in collaboration with Program Executive Office (PEO) for Manpower, Logistics and Business Solutions (MLB) and the NAVSEA Warfare Centers (NSWC) CRANE to offer the Innovation Pitch Jam! Gain more visibility, awareness, and exposure for your company and showcase to the Eastern Defense Summit audience why your product is most innovative! Here’s What You Need to Know: There are four (4) Prize Challenges that are now LIVE on the Challenge.gov website! Once the deadline closes, the technical teams will have ~2 weeks to complete their evaluations and down select the top five (5) (plus one (1) alternate) solvers who will proceed to Phase 2 for presentation at the CDCA EDS. Links to the Challenges: Artificial Intelligence (AI Portfolio Optimization Challenge: (PEO MLB) https://lnkd.in/e5TfAEyT Secure Commercially-Based AI Environment for Real-World Naval Applications Challenge: (PEO MLB) https://lnkd.in/eBWheRYM Maritime EMS Constructive Simulator (MECS) Challenge: https://lnkd.in/eyXCGvGt Triad of Autonomy: https://lnkd.in/eu_Wi-2q

I'm very EXCITED to announce that in collaboration with #BoozAllen, Carnegie Robotics’ CardShark compute system has been optimized to support Booz Allen’s cutting-edge, military-grade #AI workloads. This body-worn compute system offers next-generation equipment and battlefield technology to the warfighter. This cutting-edge technology is indicative of Booz Allen Hamilton’s unwavering commitment to advancing cutting-edge technologies. By delivering expedited, accurate data, we empower warfighters with mission-critical decision-making capabilities, ensuring they have the best tools for success. #Innovation #DefenseTech #MissionCritical #BoozAllenHamilton #CarnegieMellon #CardShark #WarfighterAsAPlatform https://lnkd.in/evH83-48

In the coming weeks, the Office of the Under Secretary of Defense for Research and Engineering (OUSD (R&E)) and the Indiana National Guard will host the second 2024 Technology Readiness Experimentation event (T-REX 24-2) to mature and assess promising capability prototypes. T-REX 24-2 will battle-test more than 75 new and innovative defense technologies, including BigBear.ai’s #ConductorOS distributed platform. ConductorOS is built to be lightweight, and works within any existing infrastructure to rapidly and seamlessly orchestrate sensor data and artificial intelligence models across highly diverse and distributed environments. “We believe that ConductorOS will play a critical role in unlocking the last mile for #artificialintelligence for our customers, and that BigBear.ai is uniquely positioned to deliver this capability,” said Mandy L., CEO of BigBear.ai. 🔗 To learn more about the upcoming full-scale, live-fire #DoD event, visit the DoD’s official Aug. 9 release: https://rb.gy/m1twup | #TREX #BBAI #AI #Defense #Technology