Arm에서 정형 검증(Formal Verification)을 수행할 엔지니어를 채용합니다. ACL2를 활용한 모델 검증 및 RTL 설계 분석이 핵심 업무입니다. 컴퓨터 과학 또는 수학 석/박사 학위와 수학적 추론 능력이 필수입니다. C 언어 및 Verilog 활용 능력을 갖춘 분을 찾습니다. 하이브리드 근무 환경에서 글로벌 팀과 협업하며 최첨단 프로세서 검증 인프라를 구축하게 됩니다.
Job ID 2021-5306 Date posted Jul. 09, 2026 Location Austin, Texas Category Hardware Engineering
The Theorem ProvingEngineering role, you will analyze new data path RTL designs and underlying algorithms, develop abstract C models of these designs, establish equivalence between RTL and C with a commercial checker (SLEC), and formally verify correctness of the models with respect to a high-level architectural specification using the ACL2 theorem prover.
You will work closely with designers and verification engineers in various Arm projects, to enable our verification methodology throughout the company.
You will contribute to the infrastructure of our verification effort, e.g., by improving interfaces with SLEC and ACL2.
You will consider and potentially pursue applications of interactive theorem proving to other components of Arm processors.
MS or PhD in Computer Science or Mathematics.
Demonstrated strong ability for rigorous mathematical reasoning and familiarity with floating-point arithmetic.
Understanding of standard algorithms and techniques used in the implementation of elementary arithmetic operations
C programming experience and a reading knowledge of basic Verilog.
Ability to collaborate and contribute in a remote working environment.
Demonstrated ability to develop complex mathematical proofs.
Experience and demonstrated expertise in interactive theorem proving, especially in the use of ACL2.
Familiarity with commercial sequential logic equivalence checkers.
General knowledge of aspects of CPU/GPU microarchitecture, e.g., out-of-order execution and memory systems.
You will work on a modern internal platform used by engineering teams across the organization and globe.
You will develop your skills across cloud, software and platform engineering.
We offer a collaborative environment focused on continuous improvement and learning.
At Arm, we want our people to Do Great Things. If you need support or an accommodation to Be Your Brilliant Self during the recruitment process, please email accommodations@arm.com. To note, by sending us the requested information, you consent to its use by Arm to arrange for appropriate accommodations. All accommodation requests will be treated with confidentiality, and information concerning these requests will only be disclosed as necessary to provide the accommodation. Although this is not an exhaustive list, examples of support include breaks between interviews, having documents read aloud or office accessibility. Please email us about anything we can do to accommodate you during the recruitment process.
Arm is an equal opportunity employer, committed to providing an environment of mutual respect where equal opportunities are available to all applicants and colleagues. We are a diverse organization of dedicated and innovative individuals, and don’t discriminate on the basis of race, color, religion, sex, sexual orientation, gender identity, national origin, disability, or status as a protected veteran.
Arm’s hybrid approach to working is centered around flexibility, where we split our time between the office and other locations to get our work done. Within that framework, we empower groups and teams to determine their own particular hybrid working pattern, depending on the work and the team’s needs. Details of what this means for each role will be shared upon application. In some cases, the flexibility we can offer is limited by local legal, regulatory, tax, or other considerations, and where this is the case, we will collaborate with you to find the best solution. Please talk to us to find out more about what this could look like for you.
$198,100-$268,000 per year
We value people as individuals and our dedication is to reward people competitively and equitably for the work they do and the skills and experience they bring to Arm. Salary is only one component of Arm's offering. The total reward package will be shared with candidates during the recruitment and selection process.
At Arm, we want to build extraordinary teams. If you need an adjustment or an accommodation during the recruitment process, please email accommodations@arm.com. To note, by sending us the requested information, you consent to its use by Arm to arrange for appropriate accommodations. All accommodation or adjustment requests will be treated with confidentiality, and information concerning these requests will only be disclosed as necessary to provide the accommodation. Although this is not an exhaustive list, examples of support include breaks between interviews, having documents read aloud, or office accessibility. Please email us about anything we can do to accommodate you during the recruitment process.
Arm’s approach to hybrid working is designed to create a working environment that supports both high performance and personal wellbeing. We believe in bringing people together face to face to enable us to work at pace, whilst recognizing the value of flexibility. Within that framework, we empower groups/teams to determine their own hybrid working patterns, depending on the work and the team’s needs. Details of what this means for each role will be shared upon application. In some cases, the flexibility we can offer is limited by local legal, regulatory, tax, or other considerations, and where this is the case, we will collaborate with you to find the best solution. Please talk to us to find out more about what this could look like for you.
Arm is an equal opportunity employer, committed to providing an environment of mutual respect where equal opportunities are available to all applicants and colleagues. We are a diverse organization of dedicated and innovative individuals, and don’t discriminate on the basis of race, color, religion, sex, sexual orientation, gender identity, national origin, disability, or status as a protected veteran.
You know us. With 125 Arm-powered products shipped every second, more than 70% of the world’s population touches Arm technology. Our hardware engineers are a dynamic force driving innovation across various domains. Whether it’s powering your smartphone, delivering award-winning VR gaming, or developing the foundation for the world's fastest supercomputer – our engineers are designing the advanced core processors leading the race toward a connected, autonomous, hyper-performance future.
From advancing core implementation to developing full custom physical IP, Arm hardware engineering pushes the limits in vital areas, such as memory, IO, and logic, to shape the future of technology.
At Arm, you'll influence 100% of the world's connected devices and all their applications. From healthcare and infrastructure to virtual reality, you'll affect nearly all industries worldwide, racing toward new milestones and achievements together.
We create a safe space for you to nurture both your physical and mental wellbeing.
We empower people to experience life beyond the boundaries of standard work patterns.
We provide benefits beyond a competitive salary to reward our people for their dedication and contributions.
We foster professional and personal development, building a supportive community where everyone can thrive.
Life in the office doesn’t get any better, especially when those offices are as sleek as ours and the people in them are innovative and supportive. Combine that with our focus on delivering as One Arm, and you’ll experience the kind of collaboration and togetherness that’s rare to find elsewhere. We share so much in common, not least a passion for progress, but we also celebrate each other's diversity.
](/dekel-hasid-story)
](/plamen-gpu-story)
](/qin-liu-gpu-story)
](/paula-gpu-story)
Subscribe to receive Arm communications directly to your inbox. Stay connected to be the first to hear about updates from our community and exciting roles that align with your skills.
