{"id":1374290,"url":"https://alion.io/job/hipeac-joint-phd","title":"joint PhD","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":9,"ghost_share":0,"stale_share":1,"repost_share":0,"time_to_fill_p50_days":null,"computed_at":"2026-09-30T05: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":["Nantes, 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":[{"name":"HPC","optional":false}],"status":"live","first_seen_at":"2026-05-06T09:08:39Z","employer_posted_date":"2026-05-06","last_verified_at":"2026-10-01T02:16:13Z","board_verified":true,"closed_at":null,"days_open":147,"trust":{"level":"stale","repost_count":0,"flags":["stale"],"days_open":146},"description":"HiPEAC PhD student in formal verification of real-time systems, conducting a joint doctoral program between École Centrale de Nantes in France and Ibn Tofail University in Morocco.\nMy research focuses on the modeling and verification of HPC-DAG tasks(Heterogeneous Parallel Condition Directed Acyclic Graph). These task graphs represent highly parallel AI applications with complex dependencies and timing constraints.\nThe objective of this work is to ensure the reliability, safety, and temporal correctness of these systems, particularly in critical domains such as aerospace applications.\nAbout\nLS2N Lab (Nantes Laboratory of Digital Sciences)\nAlso known as: LS2N Lab\nLS2N Lab, established in 2017 in Nantes, merges IRCCyN and LINA. With 450 members, it tackles digital challenges through a systemic approach in computer science, control, and signal processing across …\nSummary\nPhD position in formal verification of real-time systems within a joint program at École Centrale de Nantes and Ibn Tofail University. Focus on HPC-DAG tasks to ensure reliability in critical fields like aerospace.","description_format":"text","description_chars":1095,"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":5,"band":"cold","label":"Long shot","p_open":1,"p_active":0.186,"p_room":0.28,"age_days":146,"expected_fill_days":21,"reasons":["conf:9","velocity","win:tail","crowd:"],"computed_at":"2026-09-30T05:45:00Z"},"pay":null,"html_url":"https://alion.io/job/hipeac-joint-phd","json_url":"https://alion.io/job/hipeac-joint-phd.json","meta":{"generated_at":"2026-10-01T04:18: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":3616,"day_limit":5000,"remaining_today":1384,"minute_limit":60,"resets_at":"2026-10-02T00:00:00Z"}}}