Code Metal is seeking a Research Engineer specializing in Formal Methods to join our team. In this role, you will work... Metal workflows, driving innovation at the intersection of formal methods and artificial intelligence research...
in this role will use their expertise in Formal Methods and Programming Languages to conduct rigorous formal verification... of software and systems, ensuring they meet the highest security standards. Responsibilities As a Research Engineer...