Applikationsingenjör: formell verifiering
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 Allt fler säkerhetskritiska järnvägssystem verifieras idag med formella metoder. Vi har världsunik kompetens i att matematiskt (och automatiskt!) bevisa att system som styr växlar, signaler och hastighetsbesked för tåg är säkra i alla situationer som kan uppstå. Vi hjälper järnvägsförvaltningar och systemleverantörer över hela världen att automatisera processer för att utveckla säkerhetskritiska signalsystem.
Vår verksamhet ökar kraftigt, och vi vill därför bli flera.
Publiceringsdatum2008-03-12Dina arbetsuppgifterDina arbetsuppgifter kommer att omfatta formell verifiering av säkerhetskritiska järnvägstillämpningar och/eller vidareutveckling av våra produkter som används för specifikation, design, formell verifiering, simulering, kodgenerering av ställverkslogik. Andra uppgifter som kan vara aktuella är projektledning och teknisk presales.
KvalifikationerI första hand vänder vi oss till dig som är signalingenjör, civilingenjör eller datalog. Meriterande är erfarenhet av utveckling eller verifiering av system för järnväg. Vi söker även dig som är nyexaminerade med intresse för dessa arbetsuppgifter.
Om Prover Technology
Prover® Technology är en världsledande leverantör av produkter och tjänster kring formella metoder. Formella metoder gör att systemutveckling kan bedrivas med matematiskt precision. Våra produkter används för att automatisera design, kodgenerering, verifiering och validering av säkerhetskritisk styr- och kontrollsystem inom järnväg.
Vi är baserade i Stockholm med dotterbolag i Toulouse och San Francisco. Våra kunder är vanligtvis större internationella bolag som levererar system för järnvägsindustrin samt järnvägsförvaltningar. Bland bolagets kunder kan nämnas ABB, Airbus, Ansaldo, Banverket, Esterel Technologies, The MathWorks, New York City Transit (New Yorks tunnelbana), RATP (Paris tunnelbana), Stockholms Lokaltrafik, Banverket, Jernbaneverket, General Electric och Thales.
Mer information om bolaget finns på
www.prover.com.Anställningstyp/arbetstiderTills vidare
Heltid
Heltid / tillsvidare
ErsättningFast lön
Månadslön
Så ansöker duSista dag att ansöka är 2008-04-01
Ange följande referens när du ansöker: Applikationsingenjör
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
KontorsadressPROVER TECHNOLOGY AB
ROSENLUNDSGATAN 54
STOCKHOLM
KontaktuppgifterTelefonnummer: 08-6176800
Faxnummer: 08-653 69 00
E-postadress:
jobs@prover.com Jobbnummer 162111
Observera att sista ansökningsdag har passerat.