• Research Engineer, Chip Verification

    Google (Mountain View, CA)
    …of relevant experience. + Experience in code-generation technologies: intermediate representations, program synthesis, programming with constraints. + Experience ... theorem proving, and hardware testing methodologies. + Self-directed engineer/research scientist who can drive new research ideas from conception, experimentation,… more
    Google (05/08/25)
    - Related Jobs