Overview Code Metal is seeking an Applied Scientist specializing in Formal Methods to join our team. In this role... into Code Metal products. You will collaborate closely with researchers and engineers to embed formal methods techniques...
systems, we apply neuro-symbolic techniques (i.e. semantic technologies, deep neural networks, formal methods..., statistical techniques, uncertainty management, and data analytics applications Experience designing and implementing applied...