Michele Lora

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.