-
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
-
applications. Experience with software design, version control (Git), cross-platform development, and coupling Python with compiled languages (e.g., Pybind11). Demonstrated experience with FE modeling, analysis
Searches related to compiler
Enter an email to receive alerts for compiler positions