Más empleos:
Formal Verification Scientist; Lean 4 & Mathlib
Online/Remoto - Ideal para candidatos en
Vancouver, BC, Canadá
Publicado en 2026-01-14
Vancouver, BC, Canadá
Empresa:
Alignerr
Remoto/Desde casa
posición Publicado en 2026-01-14
Especializaciones laborales:
-
TI/Tecnología
Ingeniero de IA, Machine Learning, Matemáticas, Científico de datos
Descripción del trabajo
Para más detalles sobre la descripción de este trabajo, puede ir aquí:
Formal Verification Scientist; Lean 4 & Mathlib jobVancouver, BC, Canada
Tenga en cuenta que actualmente no se aceptan solicitudes desde su jurisdicción. Las preferencias de los candidatos son decisión del empleador o del agente reclutador.
Para buscar, ver y solicitar empleos que acepten solicitudes de su ubicación o país, toque aquí para realizar una búsqueda:
Para buscar, ver y solicitar empleos que acepten solicitudes de su ubicación o país, toque aquí para realizar una búsqueda:
Busque más trabajos aquí:
×