Developer
Prover Technology AB / Elektronikjobb / Stockholm
Observera att sista ansökningsdag har passerat.
Visa alla elektronikjobb i Stockholm,
Solna,
Lidingö,
Sundbyberg,
Danderyd eller i
hela Sverige Visa alla jobb hos Prover Technology AB i Stockholm Prover Technology is a world-leading provider of software products for development and V&V of railway control and signalling systems, such as CBTC, ERTMS and interlocking systems. Prover has subsidiaries in the US and France. It is privately owned by investors and staff, and has customers in more than 25 countries.
Your tasks will include specification, design, formal verification, functional testing and code generation. You will also develop and adapt software to satisfy specific client requirements. Depending on your interest and skills other tasks such as project management and technical sales support might be included in the role.
• You have at least a BA or similar degree in computer science, engineering or mathematics.
• You are fluent in English.
• You have demonstrated interest in advanced techniques such as formal methods, logic, parsers, formal specifications or similar, either by having a MA/PhD degree, or by having done similar things in your previous professional career or during your spare time.
Varaktighet, arbetstid
Dagtid
Publiceringsdatum2017-08-17ErsättningMånadslön
Så ansöker duSista dag att ansöka är 2017-08-31
Kontaktjobs@prover.comFöretagProver Technology AB
AdressProver Technology AB
Krukmakargatan 21
11851 STOCKHOLM
Jobbnummer 3647055
Observera att sista ansökningsdag har passerat.