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:

  • Algorithms
  • Real-world implementations
  • Real-world constraints

But also curious about why things work:

  • Logics, reasoning
  • Program verification
  • Interactive proving

Already convinced? Please look at our current job offers or internships.

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.

Not ready to apply right away? You can still follow us on LinkedIn, Twitter or subscribe to our RSS feed for job offers.

Print Print