-
the field of model-driven and data-driven computational science. Job description Are you interested in bridging the gap between mathematical sciences on the one side and natural sciences, engineering and
-
directly on our real test vehicles (see image) for automated driving. Application of modern software engineering approaches (e.g., agile methods, model-based development, CI/CD pipelines) in concrete
-
the reference number “SKE” in the subject of your mail. Please contact Prof. Dr. Christian Kost (email: christian.kost@uni-osnabrueck.de ) with any question regarding the position and check the website
Searches related to model checking
Enter an email to receive alerts for model-checking positions