Вакансия из Hirify Global, списка международных tech-компаний Для мэтча и отклика нужен Plus
Пожаловаться
Зарплата и рынок
развернуть
$106к-149к/год
$110к$130кмедиана$140к
По похожим ролям (50) ~ $130к/год
На СНГ рынке: $1.4к/мес ($1.1к - $1.7к)
89
Крутая вакансия
развернуть
Чётко очерченная стартовая роль верификации аппаратуры в Company hidden даёт практический опыт с формальными методами и AI-инструментами, а также обучение у опытных инженеров; офисный формат и отсутствие визового спонсорства ограничивают доступность вакансии.
Только офис
Современный стек
Понятные задачи
Обучение на практике
Мэтч & Сопровод
Для мэтча с этой вакансией нужен Plus
Подключить Plus
Описание вакансии
Текст:
Hirify AI/Оригинал
TL;DR
Design Verification Engineer (RTL/Formal Verification): Developing simulation tests, formal properties, reference models, and reusable verification tools for configurable interconnect and chassis IP in SoCs and chiplets with an accent on digital logic, RTL reasoning, and AI-assisted development. Focus on debugging simulation failures and formal counterexamples, translating specifications into verification plans, and driving scoped features through verification closure.
Location: On-site in Santa Clara, California, United States
Annual salary: $105,650–$149,150 USD
Company
hirify.global is developing configurable interconnect and chassis generators for SoCs and chiplets through its Unified hirify.global Chassis team.
What you will do
Develop simulation tests, formal properties, reference models, and checkers for interconnect and chassis IP.
Debug simulation failures and formal counterexamples, distinguish design issues from testbench or assumption errors, and coordinate resolutions with relevant owners.
Translate specifications into verification plans and checks, review assumptions and coverage gaps, and take scoped features from bring-up through verification closure.
Participate in architecture and design discussions and contribute reviewed RTL or model changes.
Build scripts and reusable tools for configuration generation, regression execution, and results analysis across generated designs.
Use AI-assisted tools for coding, property development, and debugging while reviewing and validating generated work with tests and formal analysis.
Requirements
Bachelor’s or Master’s degree in Electrical Engineering, Computer Engineering, Computer Science, or a related field, with 6+ months of work or academic experience.
Foundational knowledge of digital logic, sequential circuits, and computer architecture, with the ability to read and reason about RTL.
Programming and algorithmic problem-solving skills demonstrated in C, C++, Python, or an HDL through coursework, research, projects, or internships.
Experience explaining expected behavior, devising tests, and investigating unexpected results.
Hands-on use of AI-assisted development tools in coursework, research, or projects, including reviewing and testing generated code.
hirify.globallectual curiosity, willingness to ask questions and incorporate feedback, a methodical problem-solving approach, and clear cross-disciplinary communication.
Nice to have
Coursework or project experience with RTL simulation, formal verification, SystemVerilog assertions, or UVM.
Familiarity with interconnects, cache and memory hierarchies, or AXI, CHI, or PCIe protocols.
Experience with Linux, Git, scripting, and automated build or test flows.
Experience building AI-assisted workflows for specification analysis, test or property generation, or debugging.
Culture & Benefits
Full-time college graduate role with learning opportunities through building, testing, code review, and collaboration with experienced engineers.
Benefits include health coverage, retirement programs, vacation, competitive pay, and stock bonuses.
The role requires an on-site presence and is not eligible for hirify.global immigration sponsorship.
hirify.global does not charge recruitment, medical examination, or other fees during the hiring process.
Будьте осторожны
Если работодатель просит войти в их систему, используя iCloud/Google, прислать код/пароль, запустить код/ПО, не делайте этого. Это мошенники. Обязательно жмите «Пожаловаться» или пишите в поддержку. Подробнее в гайде →