PhD Candidate in Formal Verification of Configurable Safety-Critical Systems Fondazione Bruno Kessler in Italy

PhD opportunity in Formal Verification of Configurable Safety-Critical Systems at Fondazione Bruno Kessler , in collaboration with the University of Udine . This is a full-time, temporary PhD position based in Italy, with the work location listed as Povo (Trento). The project is centered on formal verification, a research area focused on proving the correctness and safety properties of software and systems, especially where failures could have serious consequences. The topic is highly relevant t...

Politecnico di Milano is expected to open a 2-year postdoctoral position in AI for quantum computing with Maurizio Ferrari Dacrema. The research focus is on learning to design and optimize quantum circuits , including machine learning for quantum circuit design , generative models , representation learning , and optimization under hardware constraints . This is an interdisciplinary opportunity at the intersection of computer science , physics , and mathematics . The announcer states that a backg...

PhD opportunity at the Department of Information Engineering, Università degli Studi di Padova (UNIPD) within the BESCAPE project: Boosting Europe’s Space Competitiveness through Advanced Power Electronics . This doctoral position is funded by Horizon Europe under the Marie Skłodowska-Curie Actions (MSCA) . The research focuses on power electronics , digital control , and DC/DC converters for space applications . The successful candidate will work on innovative control strategies with emphasis o...

Open PhD and Postdoc positions in optical co-design , with a focus on the intersection of optical design and algorithmic reconstruction . The opportunity is posted by Jorge Bacca , Assistant Professor at Universidad Industrial de Santander . These openings are aimed at candidates interested in computational imaging and related research directions. The post specifically mentions both PhD candidates and postdoctoral researchers , but does not provide a formal application deadline, funding amount, ...

University of Naples Federico II is advertising a post-doctoral researcher position at the Seismological Laboratory of the Department of Physics E. Pancini in Naples, Italy. The project focuses on AI-based methodologies for Earthquake Early Warning , with an emphasis on faster and more reliable warning systems for high-speed railways . The role is strongly aligned with physics , earth science , computer science , mathematics , electrical engineering , and statistics , especially where these inte...