Developer
Prover Technology AB / Elektronikjobb / Stockholm
2017-05-05
Observera att sista ansökningsdag har passerat.
➡️ Klicka här för den senare publicerade platsannonsen "Developer" (publicerad 2017-08-17) ⬅️
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.
Publiceringsdatum2017-05-05Så ansöker duSista dag att ansöka är 2017-05-28
Ange följande referens när du ansöker: Developer Prover
Kontaktjobs@prover.comFöretagProver Technology AB
AdressProver Technology AB
Krukmakargatan 21
11851 STOCKHOLM
Jobbnummer 3477920
Observera att sista ansökningsdag har passerat.