Sort by
Refine Your Search
-
designed functions; · Analysing code parameters, weight distributions, and dual structures; · Applying computational algebra tools (Magma, SageMath, GAP) for verification and experimentation
-
Engineering, Computer science, Physics, Acoustics or any related area, high motivation for studies and working within interdisciplinary research projects, excellent communication skills in written and spoken
Searches related to formal verification computer science
Enter an email to receive alerts for formal-verification-computer-science positions