description
Delta recrute un ingénieur logiciel pour développer le logiciel central de BLP, en mettant l’accent sur la correction par construction, le raisonnement formel, les systèmes de types et la programmation fonctionnelle. Le poste peut porter sur l’infrastructure, le backend, l’apprentissage automatique ou la plateforme d’extension du produit Unbound, et exige des preuves solides de compétences en mathématiques ou en développement de systèmes plutôt qu’une expérience préalable dans le secteur. Le poste est basé sur site à Zurich ou peut être exercé à distance depuis l’Europe.
