Teilen:
Bei Classiq Technologies gestalten wir die Zukunft des Quantencomputings. Unsere Plattform ermöglicht es Entwicklern und Unternehmen, Quantenalgorithmen in großem Maßstab zu entwerfen, zu optimieren und einzusetzen, und genießt das Vertrauen von Fortune-500-Unternehmen und Regierungen weltweit. Classiq stützt sich auf 70 Patente.
Wir suchen einen wissenschaftlich orientierten Softwareentwickler mit fundierten Kenntnissen in Mathematik und Informatik, der uns bei der Entwicklung unseres Quanten-Compilers unterstützt. Wir stellen Mitarbeiter aller Karrierestufen ein – von Forschern mit einem soliden Master- oder Doktorgrad bis hin zu erfahrenen Ingenieuren.
Das Team arbeitet an
- Die Sprache Qmod und ihre Compiler-Toolchain: Semantik, Typsystem, Zwischenrepräsentation und die Compiler-Pipeline der nächsten Generation – dies ist ein produktionsreifer Compiler
- Die Synthese-Engine, die Programme auf hoher Ebene in Schaltungen umsetzt, die hinsichtlich Breite (Qubits/Ancillas), Tiefe und Gatteranzahl unter Berücksichtigung der vom Benutzer vorgegebenen Einschränkungen optimiert sind
- Implementierung und Verbesserung von Algorithmen zur Quantensynthese aus der Fachliteratur: Arithmetik, Multi-Controlled-Gate-Synthese, Hamilton-Simulation (Trotterisierung, qDRIFT), Zustandsvorbereitung, Uncomputation und fehlertolerante Kompilierung (Clifford+T, Routing)
- Ressourcenschätzung für Quantenprogramme
- Debugging-Tools für Quantenprogramme, zum Beispiel ein visuelles Modell des High-Level-Programms, mit dem Benutzer ihren Code überprüfen und Fehler beheben können
- Leistung und Korrektheit der Compiler-Durchläufe, gemessen anhand realer Algorithmen (z. B. Shorscher Algorithmus, Quantenphasenschätzung, QSVT)
Was Sie tun werden
- Entwurf und Entwicklung produktionsreifer Funktionen für den Quanten-Compiler
- Übernehmen Sie die Verantwortung für Ihren Code – es handelt sich um Produktionscode, den Kunden nutzen, um ihre Ziele zu erreichen
- Tragen Sie zur Architektur des Quanten-Compilers und zur Definition unserer hochrangigen Quantenprogrammiersprache bei
- Enge Zusammenarbeit mit den Produkt- und Algorithmus-Teams, um produktionsreife Quantenfunktionen bereitzustellen
Wer Sie sind
- Master of Science (M.Sc.) oder höher in Mathematik, Informatik oder einem verwandten quantitativen Fachgebiet, mit einer Abschlussarbeit oder gleichwertiger Forschungserfahrung
- Fundierte Kenntnisse in den Bereichen Algorithmen und Komplexität sowie in den mathematischen Grundlagen des Quantencomputings (fortgeschrittene lineare Algebra, Gruppentheorie, Hilberträume)
- Mindestens 5 Jahre Erfahrung in der Softwareentwicklung
- Erfahrung in der Entwicklung von Softwaresystemen in Produktionsqualität
- Fundierte Kenntnisse in den Bereichen Softwarearchitektur, APIs, Testverfahren und Wartbarkeit
Bonuspunkte
- Maschinelles Lernen, neuronale Netze oder bestärkendes Lernen – ein großes Plus (z. B. erlernte Heuristiken oder RL zur Compiler- und Schaltungsoptimierung)
- Erfahrung mit der Leistungsoptimierung in Python
- Erfahrung mit wissenschaftlicher Rechen- oder Simulationssoftware
- Erfahrung in der Compiler-Entwicklung
