joint PhD

HiPEAC • E-learning • Virtual Events • Doctoral Degree (PhD) • 5 months ago
Apply now
Similar jobs
985,271open jobs
58,916companies
160,722added this week
Browse all
Location
In office (Nantes)
Employment
Full-Time

Confirmed on the employer's own hiring board on Oct 1, 2026. First seen by Alion on May 6, 2026. HiPEAC scores B on the Alion truth index.

Overview
Company
Impact
Profile match

HiPEAC

Spanning the compute continuum from edge to cloud, HiPEAC is a network of around 2,000 world-class computing systems researchers, industry representatives and students.
hipeac.net • Zurich • Barcelona • Brussels • Helsinki • Lyon • Virtual Events • E-learning
Tech stack of HiPEAC
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.

My 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.

The objective of this work is to ensure the reliability, safety, and temporal correctness of these systems, particularly in critical domains such as aerospace applications.

About

LS2N Lab (Nantes Laboratory of Digital Sciences)

Also known as: LS2N Lab

LS2N 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 …

Summary

PhD 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.

Free account
Stop reading job ads. Get the ones that fit.
One free account turns this page into a shortlist built around your stack, your level and your pay.
Match on every job. Stack, seniority, pay and location, scored against your profile.
985,271 open roles. Read straight off company career pages, refreshed every day.
Unlimited applications. Every one you send is tracked in one place, on-site or on a company board.
3 tailored CVs a month. Rewritten for the exact job you are applying to. Included free.
Create a free account Continue with Google
Free forever. No card. Under a minute.

Your match

How well do you fit this role?
Two answers are enough for a real match. No account needed.
Check my fit
Answers stay in this browser until you create an account.

Recommended for you based on this role

Early Careers
Similar stack
Same company
Nantes
In office • Internship • Les Ulis
Apply
≈ $22k – $41k per year (Estimated) • In office • Internship • Paris
Apply
In office • Internship • Lyon
Apply
In office • Internship • Paris
JavaScript
Apply
In office • Internship • Bobigny
Analytics
Microsoft Excel
Apply
≈ $20k – $50k per year (Estimated) • In office • Full-Time • 4+ years exp • George Town
Python
AI/ML
LLM
Amazon SageMaker
Interpretability
Machine Learning
DevOps
Terraform
Ansible
CI/CD
AWS
Docker
Kubernetes
Amazon EKS
AWS Lambda
Amazon EC2
Amazon S3
HPC
Apply
In office • Internship • Le Plessis-Robinson
Python
AI/ML
Copilot
LLM
RAG
Machine Learning
DevOps
HPC
Analytics
Power BI
Management
SharePoint
Apply
≈ $122k – $230k per year (Estimated) • In office • Full-Time • 8+ years exp • Bachelor's Degree • London
AI/ML
RAG
DevOps
HPC
Apply
≈ $87k – $214k per year (Estimated) • In office • Full-Time • 5+ years exp • Bachelor's Degree • Melbourne
Python
AI/ML
NCCL
InfiniBand
DevOps
Ansible
CI/CD
HPC
Linux
BGP
Cybersecurity
ISO 27001
SOC 2
Zero Trust
Least Privilege
SIEM
Apply
≈ $85k – $221k per year (Estimated) • In office • Full-Time • 5+ years exp • Bachelor's Degree • Melbourne
DevOps
CI/CD
Amazon S3
HPC
Linux
Cybersecurity
SIEM
Apply
Apply
In office • Full-Time • PhD • Grenoble
Apply
phd student 5 months ago
≈ $24k – $46k per year (Estimated) • In office • Full-Time • PhD • Nantes
AI/ML
Machine Learning
Apply
≈ $39k – $73k per year (Estimated) • In office • Internship • Master's Degree • Hildesheim
Python
MATLAB
Robotics
Digital Twin
Apply
≈ $61k – $176k per year (Estimated) • In office • Full-Time • Master's Degree • Dresden
Verilog
C++
VHDL
SystemC
AI/ML
Machine Learning
Apply
In office • Internship • Nantes
Management
Notion
Apply
Apply
In office • Internship • Nantes
Python
Apply
In office • Internship • Nantes
Apply
≈ $52k – $99k per year (Estimated) • In office • Full-Time • 5+ years exp • Nantes
Python
AI/ML
LangChain
Computer Vision
NLP
Mistral
TensorFlow
PyTorch
LLM
OpenAI
Hugging Face
Apply
See all jobs
This is one of many
985,271 more open roles from verified company boards, updated every day.
Browse all jobs Get matched roles