Singapore AI Safety Hub is seeking a researcher to turn paper-based verification into a policy-ready verification toolkit. You will work across hardware-security, systems, and cryptography teams to push down proving costs, improve alignment between proofs and frontier inferences, and publish results so that peers can verify and build upon your work.
The role welcomes candidates with strong proof-system experience or deep GPU/ML systems background, and a track record in cryptographic
#J-18808-Ljbffr…
