Prove & Run is a young, growing, and energetic company. We are independent and financially secure, which gives us the freedom to invest in long-term research projects designed to find working solutions to tough industrial problems. Our unique focus on developing a complete software development toolchain, based on innovative proof techniques, gives us clear goals and objectives.
At Prove & Run, you will be working alongside fellow engineers with Master’s or PhD degrees, many of them hailing from academic research laboratories. We are therefore looking for people who are curious about how things work:
- Real-world implementations
- Real-world constraints
But also curious about why things work:
- Logics, reasoning
- Program verification
- Interactive proving
None of the available offers fit your talents? Please apply anyway, telling us why we should create a new job for you.
Thinking about pursuing a PhD? Prove & Run finances PhD students.Print