...Category Labs, based in New York, is hiring a Senior Software Engineer in Formal Verification to prove the correctness of the Monad implementation. You will write machine-checked proofs about real production C++ code, including concurrent execution, using Rocq, Iris,...
Annuncio fornito da Jooble. Hoomie aggrega questo contenuto da fonti esterne.
