R&D Teamleader to Prover

Trains are faster, more economical, safer and greener than cars and trucks. At Prover, we are committed to doing our part for a better world. We supply solutions for engineering the safety-critical systems that control train signals and switches. Our customers include infrastructure managers such as SL, Trafikverket, Paris metro RATP, and New York metro MTA, as well as signaling system suppliers such as Alstom, Hitachi, and Siemens.
At Prover an experienced team with talents from around the world works together creating and delivering state-of-the-art solutions for train control systems. Your colleagues will be some of the best people in the world in formal methods. We are eager to constantly improve our methods. There are many opportunities to contribute with new innovative techniques and bright ideas.
We are looking for a team leader for our R&D department, which develops and maintains our software applications and is just about to start a major cloud SaaS project based on requests from our customers. Due to cyber security restrictions, the solution will have to use private clouds.
Responsibilities
Our R&D Team consists of ten software developers, including two testers. The team develops next-generation software for rail and metro signaling systems development. The team has solid expertise in, for example, compiler technology. We use a wide range of programming languages, such as F#, C#, Ocaml, C, Python and Bash. Our next step is to build a web-based product portfolio for our customers. As a team leader, you lead the work towards migrating our software to the cloud. Your focus areas will be mentorship, architecture, and technical decisions. The aspects of mentorship we value most are the ability to inspire, helping individuals to improve, and encouraging team spirit.
Your Profile
We are looking for a seasoned professional with a deep understanding of cloud technologies and SaaS implementation. A solid understanding of good engineering practices, and system architecture is needed. You have a collaborative approach that fosters effective communication, cooperation, and synergy among team members. You can inspire, motivate, and lead your team to achieve project objectives. As a person, you are open to ideas and contribute with your own, you believe in a non-hierarchical culture of collaboration and transparency. You build trust and relationships at all levels. Fluency in English is essential.
About Prover
Prover is a world leader in formal methods and formal verification for safety-critical systems. The company was founded in 1996 in Stockholm, Sweden, and has gained extensive experience over the years in its field. Prover has subsidiaries in the US, France and China. It is privately owned by investors and staff and has customers in more than 25 countries. We doubled our revenues in the last five years. At Prover you will find a highly intelligent team, a respectful atmosphere and cultural diversity. We have a modern, eco-friendly office at Södermalm in Stockholm.