PhD IPP - R&D Digital Twin and AI application
Core
Develop AI methods for digital twin verification and reliability using Agentic AI and surrogate modeling.
Role type
PhD Researcher (R&D)
Builds
AI-assisted code adaptation, formal verification solutions, and surrogate modeling for digital twin systems.
Domain
Semiconductor R&D, Artificial Intelligence, Formal Methods
Deliverable
production ML models
Required skills
AI, formal methods, modeling, reliability engineering, programming, analytical skills
Preferred skills
Agentic AI, machine learning, digital twin systems, formal verification (Lean), static analysis, surrogate modeling
Technologies
Lean, programming languages
Responsibilities
Develop AI methods for digital twin verification; work on AI-assisted code adaptation and transformation; perform formal verification; create surrogate models for reliability assessment; develop digital twin modeling and decision-support methods.
Seniority
PhD level
