EIT Digital is launching “Autonomous Warehouse and Last Mile Delivery” (AWARD) a new innovation activity which aims to make movements of goods more efficient and effective.
AWARD will focus on improving the current state of operations inside a warehouse.
Automated guided vehicles (AGVs) will be used to take packages from the inbound dock to the beginning of the aisles, and then from the beginning of the aisles to the outbound dock.
More details at: https://www.eitdigital.eu/newsroom/news/article/using-drones-and-automated-vehicles-to-move-goods-more-effectively/
-
PhD Grant on Model-based system-software engineering and formal methods for space systems
-
PhD positions in collaboration with the University of Trento on formal-methods-related topics
-
VAIPOSA Kick Off Meeting
-
New Software Developer Position in the Field of Formal Methods
-
Distinguished artifact award at TACAS conference