We are looking for a motivated, enthusiastic student assistant to help us develop some features related to Bayesian Networks in the probabilistic model checker, Storm. The job description can be found here.
We are looking for 1-2 student assistants who would be mainly working on the correction of exercise sheets for the course of Theoretical Foundations of the UML (FUML). Applicants of the job are expected with a background in theoretical computer science (mathematical logic, formal language, automata theory, computability & complexity, etc.). Drop us an email […]