Intership, job offer, thesis proposal, position offering, Model Checking, Formal Methods, NuSMV, PSL