Engineer with a proven track record of building and shipping generative models in the real world. In this role... capabilities. Engineer high-performance model distillation and optimization…
, training, and deploying diffusion models and generative video architectures. Experience writing custom GPU/TPU kernels (e.g
Lean proof assistant. Formalize the semantics of programming languages (e.g., C/C++) in Lean and build verified static
, Slides, Forms, Google Groups. Preferred qualifications: 2 years of administrative experience supporting executive-level
in a technical or international environment working on core administrative tasks (e.g., travel management, expense reports, calendar... to enable effective decision-making. Organise and exe…
Tell us what is wrong with this job. After review it may be removed.
