salmani

Student Assistant Sought for Research Job

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.

New Job Opportunities as Student Assistant

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 […]