OBS! Ansökningsperioden för denna annonsen har
passerat.
Arbetsbeskrivning
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. Vi söker dig som vill göra examensarbete inom datalogi för civilingenjörs- eller magisterexamen. Våra examensarbeten är både teoretiska och praktiska. Den teoretiska delen är kring formella metoder och logik. Den praktiska delen innebär att utveckla, applicera, utvärdera eller använda tekniken. Mer information om examensarbeten finner du på: http://www.prover.com/company/employment/view/?id=28