Applikationsingenjör, signalteknik

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. 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 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 LÄNKEN NEDAN: http://towork.se/lediga-jobb/Stockholms-lan/Teknik-Ingenjorsyrken/1120/Applikationsingenjor-signalteknik__769