3 model-checking PhD positions in Italy

PhD Candidate - Symbolic Model Checking techniques for embedded systems

Fondazione Bruno Kessler | Italy | 3 days ago

specific focus on symbolic model checking methods using satisfiability and satisfiability modulo theories solvers as symbolic reasoning engines. Importantly, in addition to researching novel theoretical

PhD candidate/Italy/MSCA-DN- RENOVATE-DC06/Innovative biomaterials for biomimetic scaffolds for bone/cartilage tissue regeneration

Niccolò Cusano University | Italy | about 2 months ago

Cacciotti, Full Professor and Coordinator of the Ph.D. Course in Advanced Modelling, Materials and Technologies (AMOMAT). The Research Group has consolidated experience in the formulation, synthesis

MSCA PhD opening in Theoretical Catalysis (MSCA-DN “PRIME LEAP”)

University of Milano-Bicocca | Italy | about 2 months ago

-Bicocca is recruiting 1 Doctoral Candidate to carry out research in Modeling of single-atom catalysts for acetylene hydrogenation. The positions will be supervised by Prof. Livia Giordano, and will offer