Beschreibung
Unser Kunde benötigt kurzfristig externe Unterstützung im Bereich Software Entwicklung in einem seiner Projekte: Es wird eine Software-Komponente zur Entscheidungsfindung (Policy Decision Point) weiterentwickelt. Auf Basis von Sicherheitsrichtlinien in XML-Notation werden interne Zustandsautomaten instanziiert, welche eintreffenden Events auswerten und eine Entscheidung an die anfragende Instanz zurückgeben. Die Bedingungen für die Entscheidung werden auf Basis von logischen Ausdrücken mit temporalen und kardinalen Erweiterungen spezifiziert und ausgewertet. Der Entwickler bzw. die Entwicklerin unterstützt unseren Kunden dabei die existierende Software-Komponente in Produktreife zu bringen und implementiert fehlende oder zusätzliche Funktionalität. Dabei stehen sowohl die Speichereffizienz und Performanz im besonderen Fokus. Zudem sorgt er bzw. sie für die Qualitätssicherung der Softwarekomponente, indem er einen Testplan konzipiert und automatisierte Testfälle erstellt.Remote Einsatz bei Bedarf: bis zu 40% möglich.
Folgende Kenntnisse und Erfahrungen bringen Sie mit:
Mindestens 5 Jahre Berufserfahrung als Software-Entwickler
Sehr gute Kenntnisse in der Programmiersprache C sowie systemnaher Programmierung (inkl. POSIX)
Sehr gute Kenntnisse im Bereich Qualitätssicherung
Sehr gute Kenntnisse im Bereich der Aussagenlogik sowie temporaler Logik
Kenntnisse im Bereich Cloud und horizontale Skalierung
eigenverantwortliche Arbeitsweise
Java Kenntnisse sind von Vorteil