Systemutvecklare
Prover Technology AB / Datajobb / Stockholm
2007-12-04
Observera att sista ansökningsdag har passerat.
➡️ Klicka här för den senare publicerade platsannonsen "Systemutvecklare" (publicerad 2008-03-12) ⬅️
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.
Publiceringsdatum2007-12-04Dina arbetsuppgifterDina arbetsuppgifter kommer att omfatta systemutveckling av produkter och relaterade tjänster för specifikation, design, säkerhetsverifiering, funktionell testning och kodgenerering av säkerhetskritiska järnvägstillämpningar. Du kommer att ingå i gruppen som utvecklar Prover iLock, vår programvarusvit för järnvägsområdet.
KvalifikationerI första hand vänder vi oss till civilingenjörer, dataloger eller matematiker. Du är en duktig programmerare med starkt teoretiskt intresse för logik eller duktig logiker med intresse för programmering.
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/arbetstiderHeltid / Tillsvidare
ErsättningMånadslön
KontaktMats Boman, 08-6176800 Växel, 08-6176819 Direkt, 070-3709585,
mats.boman@prover.com , Solutions Manager
Så ansöker duAnge följande referens när du ansöker: Systemutvecklare
Vi tar emot ansökan via epost:
jobs@prover.comFöretagPROVER TECHNOLOGY AB
ROSENLUNDSGATAN 54
11863 STOCKHOLM
Telefonnummer: 08-6176800
Faxnummer: 08-653 69 00
E-postadress:
jobs@prover.comMer information på
www.prover.comKontorsadressROSENLUNDSGATAN 54
STOCKHOLM
Jobbnummer 60307
Observera att sista ansökningsdag har passerat.