PhD proposal: AI-Based Automatic Assertion Mining for Microelectronic Verification
Confirmed on the employer's own hiring board on Sep 29, 2026. First seen by Alion on Jun 11, 2026. HiPEAC scores B on the Alion truth index.
Developing an AI-based assertion miner capable of learning temporal patterns from simulation traces and generating high-quality assertions with minimal human intervention, thereby reducing the need for repeated verification cycles and excessive computational runs, ultimately contributing to more sustainable microelectronics.
See the link below for more details.
Notre laboratoire accueille des candidat.e.s aux origines et aux expériences diverses. Nous considérons l’égalité des sexes et la diversité comme une force et un atout.
Our laboratory welcomes applicants with diverse backgrounds and experiences. We regard gender equality and diversity as a strength and an asset.
About
TIMA Laboratory
Also known as: TIMA
TIMA Laboratory is a public joint research unit involving CNRS, Grenoble-INP, and UGA. It focuses on integrated systems, engaging in cooperative projects with diverse international partners.
Summary
The TIMA Laboratory seeks candidates for a PhD in AI-Based Assertion Mining. The project aims to develop an AI miner that learns from simulation data to enhance microelectronic verification efficiency.