Utveckling av bevismotorer

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. Arbetsuppgifter: Arbetsuppgifterna 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. Kvalifikationer: Vi 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ö.