Applikationsingenjör
Towork Sverige AB / Logistikjobb / Stockholm
Observera att sista ansökningsdag har passerat.
Visa alla logistikjobb i Stockholm,
Solna,
Lidingö,
Sundbyberg,
Danderyd eller i
hela Sverige Visa alla jobb hos Towork Sverige AB i Stockholm,
Solna,
Lidingö,
Sundbyberg,
Danderyd eller i
hela Sverige Om Prover Technology AB
Prover® Technology är världsledande för produkter och tjänster kring formella metoder. Formella metoder används för att med matematiska exakta metoder modellera, specificera och verifiera egenskaper hos system. Företaget grundades 1989, och är ett privatägt bolag med 30 anställda. Bolaget utvecklar programvara som automatiserar bevis av systemegenskaper för både programvaru- och hårdvarubaserade system, baserat på patenterade tekniker. Vi har kontor i Stockholm, Toulouse och San Fransisco. Några av våra kunder är ABB, Airbus, Ansaldo, Banverket, Bombardier, Esterel Technologies, MathWorks, NYCT (New York Metro), RATP (Paris Metro), SL, Thales. Du kommer att jobba i en kreativ miljö med världsunik kompetens i att lösa industriella problem med formella metoder. Du ges möjligheten att jobba i uppdrag och med produkter som används över hela världen. Prover Technology tillhandahåller två produktserier: Prover iLock används för design, kodgenerering, simulering och formell verifiering av signalsystem inom järnväg. Prover Plug-In används för formell verifiering av inbyggda system och integreras i partnerprodukter. Prover Technology erbjuder även tjänster kring Prover iLock, till exempel specifikation, utveckling, verifiering och utbildning.
Om jobbet
Prover Technology erbjuder även tjänster kring Prover iLock, till exempel specifikation, utveckling, verifiering och utbildning.
Om jobbet:
Du kommer att jobba i en kreativ miljö med världsunik kompetens i att lösa industriella problem med formella metoder. Du ges möjligheten att jobba i uppdrag och med produkter som används över hela världen.
Arbetsuppgifterna beror på dig och din bakgrund men omfattar specifikation, formell verifiering av säkerhetskritiska kontroll- och styrsystem. Systemutveckling och anpassningar av Prover iLock kan också vara aktuella. Andra uppgifter som kan vara aktuella är projektledning, teknisk presales och utbildning.
Meriterande utbildning och erfarenhet:
Civilingenjör eller motsvarande
Konsult inom järnväg
Systemutveckling av kundapplikationer
Signalteknik
Verifiering och validering
Formella metoder
ANSÖK TJÄNSTEN VIA LÄNKEN NEDAN:
http://towork.se/lediga-jobb/Stockholms-lan/Data-IT/1120/ApplikationsingenjorPubliceringsdatum2007-12-10Anställningstyp/arbetstiderTillsvidare
ErsättningFast lön
Kontakttowork .se
FöretagTOWORK SVERIGE AB
11620 STOCKHOLM
Jobbnummer 72969
Observera att sista ansökningsdag har passerat.