{"schemaVersion":"jobsearcher.job.v1","id":"3965a5781bbdcb46d63fd3a4","url":"https://jobsearcher.com/jobs/3965a5781bbdcb46d63fd3a4","canonicalUrl":"https://jobsearcher.com/jobs/3965a5781bbdcb46d63fd3a4","title":"Independent Verification Engineer","description":"General Diffusion, Inc. is seeking a Member of Technical Staff in Safety & Formal Verification to build an independent assurance layer that gates, elevates, or reverses actions outside learned policies. The role focuses on formalizing hard operating limits and semantic-preservation claims across heterogeneous execution stacks. You will work with Runtime, Compilers, Kernels, and RL teams to translate contracts into verifiable interfaces, ensuring independent safety sign-off for permitted actionsJ-18808-Ljbffr","company":"General Diffusion","rawCompany":"general diffusion","city":"Eastern","state":"KY","isRemote":false,"isActive":false,"createdAt":"2026-10-22T12:57:18.789Z","occupations":[{"code":"15-1252.00","title":"Software Developers","slug":"software-developers"},{"code":"15-1299.08","title":"Computer Systems Engineers/Architects","slug":"computer-systems-engineers-architects"},{"code":"17-2112.02","title":"Validation Engineers","slug":"validation-engineers"}],"industries":[{"code":"541512","title":"Computer Systems Design Services","slug":"computer-systems-design-services"},{"code":"513210","title":"Software Publishers","slug":"software-publishers"},{"code":"541511","title":"Custom Computer Programming Services","slug":"custom-computer-programming-services"}],"jobPosting":{"@context":"https://schema.org","@type":"JobPosting","title":"Independent Verification Engineer","description":"General Diffusion, Inc. is seeking a Member of Technical Staff in Safety & Formal Verification to build an independent assurance layer that gates, elevates, or reverses actions outside learned policies. The role focuses on formalizing hard operating limits and semantic-preservation claims across heterogeneous execution stacks. You will work with Runtime, Compilers, Kernels, and RL teams to translate contracts into verifiable interfaces, ensuring independent safety sign-off for permitted actionsJ-18808-Ljbffr","datePosted":"2026-10-22T12:57:18.789Z","dateModified":"2026-10-22T12:57:18.789Z","hiringOrganization":{"@type":"Organization","name":"General Diffusion","sameAs":"https://jobsearcher.com"},"jobLocation":{"@type":"Place","address":{"@type":"PostalAddress","addressLocality":"Eastern","addressRegion":"KY","addressCountry":"US"}},"identifier":{"@type":"PropertyValue","name":"JobSearcher","value":"3965a5781bbdcb46d63fd3a4"},"url":"https://jobsearcher.com/jobs/3965a5781bbdcb46d63fd3a4"}}