Sort by
Refine Your Search
-
to develop your knowledge and skills on autonomous cubesats with impactful applications in planetary defence. You should have a PhD (or near completion) in space engineering, computer science or an equivalent
-
, and implementing the arc model in a commercial software package (Ansys Fluent). The School of Engineering is an Athena Swan Silver award holder and is committed to encouraging, developing and supporting
Searches related to formal verification computer science
Enter an email to receive alerts for formal-verification-computer-science positions