Utveckla: kodgenerator, simulator, bevismotor

Prover Technology startades sin verksamhet 1989 och är idag en världsunik leverantör av produkter och tjänster kring bevismotorer och formell verifiering. Vår teknologi gör att våra kunder kan nå 100% säkerhet i sina tekniska lösningar till en bråkdel av utvecklingskostnaden. Våra produkter används för att helt automatisera mjukvarudesign, kodgenerering, verifiering och validering av säkerhetskritiska kontrollsystem inom främst järnväg. Några av våra kunder är ABB, Airbus, Banverket, Bombardier, Esterel Technologies, MathWorks, General Electric och Thales. Vi är idag 30 anställda vid huvudkontoret på Söder i Stockholm, samt vi har dotterbolag i Toulouse och San Francisco. Vår R&D-avdelning ansvarar för utveckling av det grafiska användargränssnittet Prover iLock och det formella specificeringsspråket PiSPEC. Vi står nu inför en kraftig expansion av vår verksamhet, där vi vill åstadkomma mer med våra produkter och därmed nå fler kunder. Därför behöver vi fler duktiga och driftiga ingenjörer som verkligen trivs i en dynamisk värld av internationella kontakter, professionella kollegor och spjutspetsteknologi. Arbetsuppgifter: I arbetsuppgifterna ingår att utveckla nya funktioner och lösningar i våra produkter utgående från kundkrav och behov. I samverkan med övriga funktioner i företaget, utgör arbetet ett helhetsåtagande; att skapa en lämplig systemdesign, programmera, enhetstesta, integrera, validera och leverera funktionen. Du kommer att ingå i en grupp på åtta personer som utvecklar vår programvarufamilj Prover iLock. Kvalifikationer: Vi söker dig som är civilingenjör från Datateknik eller Teknisk Fysik med typiskt 1-3 års arbetslivserfarenhet. Du är redan idag en duktig programmerare med starkt intresse för logik. Som person ser vi gärna att du är positiv, drivande, analytisk samt självgående. Goda kunskaper i både engelska och svenska är en självklarhet i vår internationella miljö. Speciell vikt sätts även på en god förmåga att effektivt arbeta i mindre team. Om du sedan har tidigare erfarenhet av att arbeta med komplexa grafiska gränssnitt i miljöer som C# och/eller .NET, ser vi detta som en merit.