Applikationsingenjör

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/Applikationsingenjor