Succinct is looking for a formal verification intern

Stream: job postings

[John Guibas]

We're hiring! We are working on using formal verification techniques to ensure our zero-knowledge proof system is secure in the context of RISC-V bytecode execution.

https://jobs.ashbyhq.com/succinct/100e8b22-a204-433d-bab4-d0c5de4201b5

[Jakob von Raumer]

RISC-V bytecode execution

We're currently working on having a RISCV specification in Lean and will soon be able to execute bytecode. HMU if you want to know more about this.