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 [1] or internships [2].

None of the available offers fit your talents? Please apply [3] anyway, telling us why we should create a new job for you.

Thinking about pursuing a PhD? Prove & Run finances PhD students [4].

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

Article printed from Prove & Run:

URL to article:

URLs in this post:

[1] job offers:

[2] internships:

[3] apply:

[4] PhD students:

[5] LinkedIn:

[6] Twitter:

Copyright © 2020 Prove & Run. All rights reserved.