Sort by
Refine Your Search
-
There is an exciting opportunity for two students to pursue a funded PhD with Angelo Pirrone, Nathan Evans, Giovanni Sala and Konstantinos Tsetsos at the University of Liverpool, starting in October
-
to protect our planet from asteroid hazards. The aim of the project is to deliver and validate of an onboard astrodynamics GNC software for autonomous proximity operations around minor celestial bodies
-
Liverpool where, in the School of Computer Science and Informatics, we have an active group of PhD students, postdocs, and academics working at the intersection of Machine Learning, Verification and
Searches related to software formal method phd
Enter an email to receive alerts for software-formal-method-phd positions