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 , Italy. This opening is for a PhD candidate interested in formal verification , safety-critical systems , and related computer science / mathematics research. The project focuses on verifying configurable systems where correctness and reliability are essential. Eligibility: applicants should hold a Master Degree or equivalent . The post is a fu...

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

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

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

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