Publisher
source

Michele Lora

5 months ago

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 flag

Country

Italy

University

University of Verona

Suggested positions

Publisher
source

Chiara Plizzari

Bocconi University

Country flag

Italy

Postdoctoral Researcher in Egocentric 4D Scene Representation and Robot Learning at Bocconi University in Milan, Italy. Chiara Plizzari (Assistant Professor, Bocconi University) is hiring one fully funded 2-year postdoc to work on egocentric 4D scene representation and understanding for robot learning . The position sits in the Computer Vision group and is described as an international research environment with collaborators Francis Engelmann and Antonio Loquercio . The research focus combines e...

Computer Science
Electrical Engineering
Information Technology
+2 more

4 weeks ago

Publisher
source

Ralf Lämmel

University of Koblenz

Country flag

Germany

Another PhD position is open at SoftLang , Faculty of Computer Science, University of Koblenz . The research focus is AI in software engineering , with examples such as vulnerability detection . This is a strong fit for applicants interested in computer science, software engineering, and applied AI methods. The position is advertised as a 100% TV-L E13 role with initial funding for three years and a reduced teaching obligation . The post indicates that the formal job advertisement is available v...

Computer Science
Information Technology
Artificial Intelligence
+1 more

1 month ago

Publisher
source

Tecnológico de Monterrey

Tecnológico de Monterrey is inviting interested researchers to a private gathering at IROS 2026 in Pittsburgh (September 27–October 1, 2026) to introduce open positions for research professors (profesores investigadores). The opportunity is aimed at PhD candidates nearing graduation , recent PhD graduates , and postdoctoral researchers working in robotics , intelligent systems , or closely related areas. The post highlights a growing robotics and intelligent-systems agenda at a leading Latin Ame...

Computer Science
Electrical Engineering
Artificial Intelligence
+1 more

1 month ago

Publisher
source

University of Camerino

Country flag

Italy

Fully funded postdoctoral position in generative neural networks and quantum computing at the University of Camerino in Italy, within the INFN Section of Perugia and the LINCOLN research program in collaboration with the University of Camerino. This opportunity is aimed at candidates with a PhD or equivalent from a foreign institution and research experience in deep learning , quantum computing , or computational physics . The post is explicitly described as fully funded . Research keywords incl...

Computer Science
Electrical Engineering
Deep Learning
+4 more

1 week ago

Publisher
source

University of Texas at Austin

Country flag

United States

Postdoctoral Fellow opportunity in the Department of Electrical and Computer Engineering at The University of Texas at Austin, within the Cockrell School of Engineering. This is a postdoctoral opening focused on electrical engineering and computer science-related work. The post links directly to the UT Austin Workday job posting for application details and submission. No supervisor, funding, or deadline details are included in the provided text....

Computer Science
Electrical Engineering

2 days ago

Keywords

Computer Science
Electrical Engineering
Artificial Intelligence
Software Engineering
Formal Methods
Design Automation

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.

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts and confirm requirements with the university.

Professors

Professor

University Name
Country flag

Italy

Research Interests

Artificial Intelligence

Power System

Petri Net

Low-power Electronics

Cyber-physical System

Assistant Professor

University Name
Country flag

Italy

Research Interests

Artificial Intelligence

Software Engineering

Electrical Engineering

Computer Science

Design Automation