-
team as a PhD candidate to work on beyond the state-of-the-art model distillation and robustness methods, enabling efficient, reliable inference for challenging real-world problems in the semiconductor
Searches related to formal methods
Enter an email to receive alerts for formal-methods "IMEC" positions