-
-source modeling and verification environment based on UML/SysML. This software is used to quickly explore the design space and test different architectural solutions. Finally, LabSoC collaborates with
-
or embedded systems. You have experience in computer architecture and/or hardware synthesis and/or formal methods for hardware verification. You enjoy working in an applied research environment at the state
Enter an email to receive alerts for software-verification-computer-science-"DIFFER" positions