Python programmer állások, munkák mérnök vezető kategóriában

• Use formal verification algorithms to formally prove the correctness of complicated logic problems
• Identify key behaviors for verification to write clear testplans for complex designs
• Implement testplans using innovative formal techniques
• Drive tools to realize their best performance

• development of physics-guided machine-learning models for composition-process-structure-property relationships in magnesium alloys
• combination of crystal plasticity, phase-field, precipitation, and machine-learning approaches into a unified digital twin framework

In this position, you take technical responsibility for the digital design scope in ASIC projects, coordinating specification, development, and integration across all stakeholders. You align requirements, structure execution, and drive key technical decisions to ensure a robust and consistent...