{"id":1374288,"url":"https://alion.io/job/hipeac-phd-proposal-ai-based-automatic-assertion-mining-for-microelectronic-verification","title":"PhD proposal: AI-Based Automatic Assertion Mining for Microelectronic Verification","company":{"id":1803494,"name":"HiPEAC","domain":"hipeac.net","url":"https://alion.io/company/hipeac","size_band":null,"is_staffing_agency":false,"employer_type":"direct","is_intermediary":false,"listed_via":null,"ats_vendor":"Schema","truth_index":{"grade":"B","score":75,"open_postings":8,"ghost_share":0,"stale_share":1,"repost_share":0,"time_to_fill_p50_days":null,"computed_at":"2026-10-01T05:45:00Z"}},"role":"Early Careers","role_family":"Early Careers","seniority":null,"employment_type":"full_time","work_mode":"on_site","remote_scope":null,"remote_scope_basis":null,"remote_working_hours":null,"hiring_geo_confidence":"structured","locations":["Grenoble, France"],"countries":["FR"],"hiring_countries":[],"hiring_countries_total":0,"salary":null,"salary_estimate":null,"experience_years_min":null,"visa_sponsorship":false,"relocation_package":false,"has_equity":false,"technologies":[],"status":"live","first_seen_at":"2026-06-11T10:16:09Z","employer_posted_date":"2026-09-22","last_verified_at":"2026-10-01T02:16:13Z","board_verified":true,"closed_at":null,"days_open":112,"trust":{"level":"stale","repost_count":0,"flags":["stale"],"days_open":111},"description":"HiPEAC 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.\nSee the link below for more details.\nhttps://tima.univ-grenoble-alpes.fr/join-tima/phd/phd-proposal-ai-based-automatic-assertion-mining-microelectronic-verification\nNotre 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.\nOur laboratory welcomes applicants with diverse backgrounds and experiences. We regard gender equality and diversity as a strength and an asset.\nAbout\nTIMA Laboratory\nAlso known as: TIMA\nTIMA 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.\nSummary\nThe 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.","description_format":"text","description_chars":1255,"description_truncated":false,"requirements":{"experience_years_min":null,"management_years_min":null,"team_size_min":null,"manages_managers":false,"education":{"level":"phd","optional":false},"security_clearance":false,"languages":[]},"benefits":[],"hiring_locations":[],"hiring_excludes":[],"relocation_offered":false,"industries":["E-learning","Virtual Events"],"lifecycle":[{"event":"open","at":"2026-09-28T06:00:15Z"}],"liveness":{"score":7,"band":"cold","label":"Long shot","p_open":1,"p_active":0.245,"p_room":0.28,"age_days":111,"expected_fill_days":21,"reasons":["conf:3","velocity","win:tail","crowd:"],"computed_at":"2026-10-01T05:45:00Z"},"pay":null,"html_url":"https://alion.io/job/hipeac-phd-proposal-ai-based-automatic-assertion-mining-for-microelectronic-verification","json_url":"https://alion.io/job/hipeac-phd-proposal-ai-based-automatic-assertion-mining-for-microelectronic-verification.json","meta":{"generated_at":"2026-10-01T11:02:19Z","cache_seconds":300,"methodology":"https://alion.io/methodology","terms":"https://alion.io/terms","contact":"https://alion.io/contact","api":"https://alion.io/developers","usage":{"tier":"crawler","counted_by":"address","units_charged":1,"used_today":2392,"day_limit":5000,"remaining_today":2608,"minute_limit":60,"resets_at":"2026-10-02T00:00:00Z"}}}