-
We are searching for a motivated Master's students to work on an innovative research project focused formally verified compilers for ZK-proofs. The candidates will be responsible for aiding
-
Coordinating and overseeing the compilation of information for and writing of reports to various funding bodies, including ensuring that the Centre’s staff meet all reporting requirements Coordinating and
Searches related to compiler
Enter an email to receive alerts for compiler positions