Sort by
Refine Your Search
-
at least one of the following areas: theoretical computer science (e.g., formal methods, design automation, algorithms) and reinforcement learning. The candidate should be open to practical
Enter an email to receive alerts for software-formal-method-phd-"https:" positions