Utveckla: kodgenerator, simulator, bevismotor

Prover Technology AB / Datajobb / Stockholm
Observera att sista ansökningsdag har passerat.


Visa alla datajobb i Stockholm, Solna, Lidingö, Sundbyberg, Danderyd eller i hela Sverige
Visa alla jobb hos Prover Technology AB i Stockholm

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.

Publiceringsdatum
2008-05-20

Dina 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.

Arbetstider och omfattning
Tillsvidare
Heltid
Heltid / Tillsvidare

Ersättning
Fast lön
Månadslön

Så ansöker du
Sista dag att ansöka är 2008-06-19
Ange följande referens när du ansöker: Systemutvecklare
Ansökan kan skickas till e-postadress: jobs@prover.com

Kontakt
Mats Boman, Solutions Manager, 070-3709585, 08-6176800 (Växel), 08-6176819 (Direkt), mats.boman@prover.com

Företag
PROVER TECHNOLOGY AB

Adress
PROVER TECHNOLOGY AB
ROSENLUNDSGATAN 54
11863 STOCKHOLM

Kontorsadress
ROSENLUNDSGATAN 54
STOCKHOLM

Kontaktuppgifter
Telefonnummer: 08-6176800
Faxnummer: 08-653 69 00
E-postadress: jobs@prover.com

Jobbnummer
227698

Observera att sista ansökningsdag har passerat.

Prenumerera på jobb från Prover Technology AB

Fyll i din e-postadress för att få e-postnotifiering när det dyker upp fler lediga jobb hos Prover Technology AB: