-
optimization. Basic knowledge of integrated circuit design, including digital simulation and logic synthesis. methods, and other related topics pertaining to fast AI model inference. Experience working in
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions