1 linear-algebra PhD positions at Chalmers University of Technology in Sweden

Sort by

listed

Refine Your Search

Sort by: relevance | listed |

Enter an email to receive alerts for linear-algebra positions

Up to two PhD positions at the intersection of Formal Verification and Planning

Chalmers University of Technology | Sweden | about 9 hours ago

should do it — with high assurance. Our project aims to integrate Linear Temporal Logic (LTL) and the Planning Domain Definition Language (PDDL) to build a more expressive and efficient framework

Searches related to linear algebra

Enter an email to receive alerts for linear-algebra positions