Senior Lead Software Engineer - GoLang
4 months ago
Jersey City
Experience with formal test methods, deterministic simulation testing, Satisfiability Modulo theories, Boolean Satisfiability * Use of RDF technologies such as SparQL or JSON-LD * Declarative model ...