• ASIC Engineer, Formal Verification

    Meta (Denver, CO)
    …used across the group, both at the top level and at the block level 3. Work with Architecture and Design team to come up with formal specification and ... close coverage with targeted Formal Verification Techniques at IP, Subsystem and SoC level 5. Build reusable/scalable environments for Formal Verification and… more
    Meta (08/01/25)
    - Related Jobs
  • Principal Compliance & Controls Transformation

    GCI Communication Corp (Denver, CO)
    …audit (third line of defense), and external audit to: + Prepare top -down, risk-based account scoping and risk assessment documentation. + Prepare internal control ... and IT general controls. + Assist control owners in design and implementation of effective controls, remediation plans to... and implement Complementary End-User Controls (CEUC's) associated with SOC 1 Type II reporting + Facilitate audit evidence… more
    GCI Communication Corp (06/05/25)
    - Related Jobs
  • Senior Lead Information Security Engineer (Mtips)

    Lumen (Denver, CO)
    …and production environments. * Skilled in developing architecture certifications, low- level design documents, configuration templates, and implementation guides. ... trust and transparency. People power progress. We're looking for top -tier talent and offer the flexibility you need to...Lead Information Security Engineer specializing in MTIPS policy and design , to join the Public Sector Security Architecure and… more
    Lumen (08/08/25)
    - Related Jobs
  • Sr Lead Information Security Engineer

    Lumen (Denver, CO)
    …development environments to certify architecture designs. - Development of low- level design documents, configuration templates, and implementation guides. ... committed to teamwork, trust and transparency. People power progress. We're looking for top -tier talent and offer the flexibility you need to thrive and deliver… more
    Lumen (08/08/25)
    - Related Jobs