Sort by
Refine Your Search
-
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
-
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