-
background in formal methods, logic, theoretical computer science, or related areas Strong background in computer science and mathematics Demonstrated interest in formal modelling, verification, or knowledge
-
to high-performance computing facilities and datasets from laboratory experiments will be provided to support simulation and verification of the resulting model. Replicate and learn a theoretical model for
Searches related to software verification computer science
Enter an email to receive alerts for software-verification-computer-science positions