Merge branch 'jobs/e-acsl-2021-0' into 'master'

2 postdoc and 1 PhD positions on runtime verification

See merge request !129
2 jobs for master in 1 minute and 15 seconds (queued for 5 seconds)
Status Name Job ID Coverage
  Deploy
passed pages #432185
docker

00:01:15

passed pages:deploy

00:00:00