amazonus
Applied Scientist, Machine Learning Accelerator - Annapurna Labs
연구·R&D하드웨어·임베디드AI·머신러닝
AI 요약
AWS Annapurna Labs에서 커스텀 Machine Learning Accelerator Chip의 pre-silicon design verification을 위한 솔버 기반 콘텐츠 생성 프레임워크를 개발할 인재를 모집합니다. 정형기법, first order logic, SMT solver, 병렬/동시성 코드, 커버리지 메트릭을 활용해 합법적이고 현실적인 자극을 생성하며, ML을 이용한 자동화도 다룹니다.
주요 업무
커스텀 머신러닝 ISA 이해, first order logic으로 instruction stream 정합성 모델링, 스케줄링/랜덤성 제어용 API 개발, 안전한 동시성 코드 설계 알고리즘 적용, 커버리지 메트릭 개발, machine learning을 활용한 테스트 콘텐츠 자동화, 검증 엔지니어·하드웨어 아키텍트·디자이너와 협업하여 검증 프레임워크 설계 및 개선
자격 요건
필수: 3년 이상의 business application 모델 구축 경험, CS/CE/ML 관련 석사 이상 또는 박사 학위 및 4년 이상 경력, top-tier 학회/저널 수준의 특허 또는 논문 경험, Java/C++/Python 또는 관련 언어 프로그래밍 경험, 알고리즘과 자료구조/파싱/수치최적화/데이터마이닝/병렬 및 분산 컴퓨팅/HPC 중 하나 이상의 경험. 우대: Unix/Linux 사용 경험, professional software development 경험.
기술 스택
JavaC++PythonUnix/LinuxSMT solverfirst order logicformal methodsmachine learning
amazonus의 다른 공고
Software Development Engineer II, AWS DynamoDB Web Service
Software Development Manager, Amazon Connect Customer (AWS)
Software Engineer II, Leo Regulus
개발, AI·머신러닝Software Development Engineer, Aurora DSQL
개발, 인프라·DevOpsSoftware Development Engineer, Amazon Software Builder Experience (ASBX) - Agentic Conversations
개발, AI·머신러닝, 인프라·DevOpsSr. Software Dev Engineer, Amazon Security - Vulnerability Management Engineering
개발, 보안Software Engineer II, Leo Regulus
개발, AI·머신러닝Software Development Engineer
개발, AI·머신러닝, 하드웨어·임베디드, 인프라·DevOps, 보안