- Amazon (Cupertino, CA)
- …crucial challenges alongside a talented engineering team, contributing to leading design and research in compiler technology and deep-learning systems software. ... required. A day in the life Why AWS? Amazon Web Services (AWS) is the world's most comprehensive and...in automated reasoning or compiler construction - Knowledge of interactive theorem provers such as Lean - Experience with… more
- Amazon (Santa Clara, CA)
- …* Hardware-informed efficient model architecture, training objective and curriculum design * Distributed training, accelerated optimization methods * Continual ... learning, multi-task/meta learning * Reasoning, interactive learning, reinforcement learning * Robustness, privacy, model watermarking * Model compression,… more