2 verification PhD positions in Denmark

PhD Stipend/Integrated Stipend in programming semantics, verification andreliability assurance of combined classical and quantum communicating andcomputing systems (DEIS)

Aalborg University | Denmark | about 24 hours ago

At the Technical Faculty of IT and Design, Departmentof Computer Science, one PhD stipend/Integrated PhD stipend intheories for programming semantics, methods for verification and reliability

PhD position in CMOS design of SSM-based Spiking Neural Networks integrated with RISC-V

University of Southern Denmark | Denmark | 2 months ago

for SSM-SNN cores Integrate RISC-V processors using SoC flows Perform full-chip simulation, verification, and prototyping Publish and present research in high-impact venues Qualifications Applicants should