×
Solicitar trabajos Solicitar trabajos Publicar ofertas Publicar ofertas Inicio
Regístrese Aquí para solicitar empleo o publicarlo X
Más empleos:
Ingeniero de IA Matemáticas Machine Learning Científico de datos

Researcher - Lean 4 & Formal Proof Systems

Online/Remoto - Ideal para candidatos en
Vancouver, BC, Canadá
Empresa: Alignerr
Remoto/Desde casa puesto
Publicado en 2026-03-06
Especializaciones laborales:
  • TI/Tecnología
    Ingeniero de IA, Matemáticas, Machine Learning, Científico de datos
Rango Salarial o Referencia de la Industria: 70 - 150 CAD Por hora CAD 70.00 150.00 HOUR
Descripción del trabajo
Location:Remote. About the job.At Alignerr, we partner with the world’s leading AI research teams...
Para más detalles sobre la descripción de este trabajo, puede ir aquí:
Researcher - Lean 4 & Formal Proof Systems job Vancouver, 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:
 
 
 
Busque más trabajos aquí:
(Ingrese pocas palabras para obtener mejores resultados)
Localización
Aumentar el radio de búsqueda (millas)

Idioma de la publicación
Categoría de empleo
Nivel educativo
Filtros
Nivel Educativo
Experiencia mínima requerida (años)
Publicado en los últimos:
Salario
Búsqueda avanzada