-
Prof. Daniel Merkle. The overall research project is based on the novel application of formalisms, algorithms, and computational methods from computer science to the design of microbial communities
-
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
-
Proficiency in Danish is required due to collaboration with Danish Industry. Proficiency in English, either demonstrated through formal education or a Master's degree conducted in English. Preferred
Searches related to formal verification
Enter an email to receive alerts for formal-verification positions