OBS! Ansökningsperioden för denna annonsen har
passerat.
Arbetsbeskrivning
Information 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. Om jobbet Vi söker en driven applikationsingenjör som vill jobba med våra järnvägskunder i norra Europa: ABB, Bombardier, Banverket, Jernbaneverket mfl. Arbetsuppgifter kommer att omfatta signalprojektering, formell verifiering och simulering av säkerhetskritiska kontroll- och styrsystem. Andra uppgifter som kan vara aktuella är projektledning, teknisk presales och produktspecifikation. Erforderlig utbildning: - Civilingenjör eller liknande. Önskad erfarenhet/kunskap: - Signalteknik - Säkerhetsgranskning - Formella metoder - Programvara för PLC - Objektorienterade språk - 2-5 års anställning hos järnvägsförvaltare eller leverantör ANSÖK TJÄNSTEN VIA FORMULÄRET NEDAN: http://towork.se/lediga-jobb/Stockholms-lan/Teknik-Ingenjorsyrken/1113/Applikationsingenjor-signalteknik#application_online