Develop and apply formal verification environments for complex AI systems, ensuring mathematical proof of correctness through rigorous property checking and model checking.
📌 Formal Verification Engineer - Ai - Toronto, Canada - C$153,280 A Year
🏢 Cognichip
📍 Toronto
Reply to this offer
Impress this employer describing Your skills and abilities, fill out the form below and leave Your personal touch in the presentation letter.