-
. The role You will contribute to the design and implementation of the ABLE platform, including software development, possibly some hardware prototyping, and evaluation with users. A key focus will be
-
. Kyriakopoulos seeks to improve the autonomy of Field Robotic systems by fusing control theoretic and machine intelligence approaches. Formal models are directly applied in real experimental facilities. Marine
Searches related to software formal method phd
Enter an email to receive alerts for software-formal-method-phd positions in computer-science