Michele Lora
5 months ago
This position has expired. You can find similar positions from the section below or browse our positions listing pages.
PhD in Open-Source Electronic Design Automation, Formal Methods, and Hardware Design at University of Verona University of Verona in Italy
Degree Level
PhD
Field of study
Computer Science
Funding
The PhD offers attractive project-based financial support tailored to the candidate’s skills, commitment, workload, and research/software development contributions. No fixed stipend amount, tuition coverage, or full funding statement is provided.
Deadline
Expired
Country
Italy
University
University of Verona
Suggested positions
Keywords
About this position
PhD opportunity at the University of Verona, Italy in open-source Electronic Design Automation (EDA), formal methods, and hardware design.
The position is within the European project ODE4EC-PIV (Open Design Ecosystem for European Chips – Productivity, Interoperability, Verification) and is hosted by the Electronic System Design research group at the University of Verona, in collaboration with EDALab and other academic/industrial partners in the European EDA ecosystem.
The PhD is strongly tool-oriented and focuses on open-source EDA, formal verification, hardware design, Assume/Guarantee reasoning, and the integration of tools such as HIFSuite and CHASE. The selected candidate will contribute to research software for hardware specification, design, and verification, and may also work on methodologies supporting modular tool integration and verification workflows.
Relevant study and research keywords include electronic design automation, formal methods, hardware design, research software development, software engineering, algorithms, and artificial intelligence. The post highlights opportunities to interact with leading academic and industrial players in the European EDA ecosystem.
Funding: attractive project-based financial support is offered, tailored to the candidate’s skills, commitment, workload, and research/software development contributions. No fixed stipend amount is stated.
Eligibility/preferences: motivated PhD candidate with interest in EDA, formal methods, hardware design, and open-source software. The post emphasizes strong software development ability and a tool-building mindset.
Deadline: June 3 (normalized to 2026-06-03).
Contact: Michele Lora, Assistant Professor at the University of Verona.
Funding details
The PhD offers attractive project-based financial support tailored to the candidate’s skills, commitment, workload, and research/software development contributions. No fixed stipend amount, tuition coverage, or full funding statement is provided.
What's required
Motivated PhD candidate with interest in open-source Electronic Design Automation, formal methods, hardware design, and research software development. Strong skills in software engineering and hardware design are highlighted, with additional interest in algorithms and artificial intelligence. The position is strongly tool-oriented and involves development and integration of tools such as HIFSuite and CHASE, including Assume/Guarantee contracts for electronic device specification.
Make your next move.
Prepare your application
Review drafts and confirm requirements with the university.
Professors
Professor
Italy
Research Interests
Artificial Intelligence
Power System
Petri Net
Low-power Electronics
Cyber-physical System
Assistant Professor
Italy
Research Interests
Artificial Intelligence
Software Engineering
Electrical Engineering
Computer Science
Design Automation
Make your next move.
Prepare your application
Review drafts and confirm requirements with the university.