Beschreibung
Delta sucht eine Softwareentwicklerin oder einen Softwareentwickler für die Entwicklung der Kernsoftware von BLP, mit Schwerpunkt auf Korrektheit durch Konstruktion, formaler Argumentation, Typsystemen und funktionaler Programmierung. Die Tätigkeit kann Infrastruktur, Backend, maschinelles Lernen oder die Produkterweiterungsplattform Unbound umfassen. Erforderlich sind aussagekräftige Nachweise mathematischer Fähigkeiten oder der Entwicklung von Systemen statt vorheriger Berufserfahrung in der Branche. Die Stelle ist vor Ort in Zürich oder remote innerhalb Europas angesiedelt.
