Get in Touch

Who’s behind Prosa?

Prosa is an open-source project for real-time systems researchers. The effort was initially launched by Felipe Cerqueira and Björn Brandenburg of the real-time systems group at the Max Planck Institute for Software Systems (MPI-SWS) in Kaiserlautern, Germany.

The goals of the Prosa project exceed the scope of what any single group can sustain in the long term. We therefore envision Prosa to transition into a true community effort and actively seek collaborators at all levels of expertise.

Joining the Open-Source Effort

Any and all contributions are welcome, including questions and suggestions, critiques and constructive criticism, patches, alternative formalizations, new directions, etc. As a first step, join the RT-PROOFS mailing list and say ‘hi’.

Joining the Team at MPI-SWS

If you have experience with formal methods and/or real-time systems and would be interested in working on Prosa, please contact us by email. Paid internships, funded PhD positions, and potentially also post-doc positions are available for qualified candidates.

Joining the INRIA SPADES Team

The SPADES team at INRIA (Grenoble) is looking for a PhD student to work on Prosa, starting in September 2016. See the description of the position for further details.

The RT-PROOFS Mailing List

If you have technical questions about Prosa or would like to discuss about real-time scheduling proofs, please subscribe to the RT-PROOFS mailing list.