Utveckling av bevismotorer
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 startade 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 bevismotorer; programvara för design, verifiering och testning av signalsystem; samt det formella specifikationssprå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 forskare/utvecklare av internationell klass med specialisering mot bevismotorer och kombinatoriska algoritmer.
Publiceringsdatum2008-06-17Dina arbetsuppgifterArbetsuppgifterna består huvudsakligen av utveckling och implementation av nya algoritmer för bevismotorer. Detta kräver mycket god kunskap om forskningsfronten inom detta och relaterade områden.
KvalifikationerVi söker dig som har en doktorsgrad i teoretisk datalogi, eller motsvarande kompetens, inom formella metoder med inriktning mot kombinatoriska algoritmer. Du har helst 3-5 års professionell erfarenhet inom mjukvaruutveckling. 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ö.
Arbetstider och omfattningTillsvidare
Heltid
Heltid / Tillsvidare
ErsättningFast lön
Månadslön
Så ansöker duAnge följande referens när du ansöker: Forskare/Utvecklare
Ansökan kan skickas till e-postadress:
jobs@prover.comKontaktMats Boman, Solutions Manager, 070-3709585, 08-6176800 (Växel), 08-6176819 (Direkt),
mats.boman@prover.comFöretagPROVER TECHNOLOGY AB
AdressPROVER TECHNOLOGY AB
ROSENLUNDSGATAN 54
11863 STOCKHOLM
KontorsadressROSENLUNDSGATAN 54
STOCKHOLM
KontaktuppgifterTelefonnummer: 08-6176800
Faxnummer: 08-653 69 00
E-postadress:
jobs@prover.com Jobbnummer 252405
Observera att sista ansökningsdag har passerat.