PhD AI for Digital Twin Verification & Surrogate Modeling

STMicroelectronics seeks a highly qualified researcher to advance AI methods for digital twin verification and reliability. You will blend agentic AI with surrogate modeling to improve automation, correctness, and efficiency in digital twin development and analysis. The role focuses on formal verification, modeling, and applying Lean-based or related verification techniques to enhance system reliability and decision-support capabilities for advanced semiconductor applications. J-18808-Ljbffr