🏠
Working from home
Arthur Correnson
acorrenson
PhD candidate at CISPA.
Working on formal verification using proof assistants.
CISPA Helmholtz Center for Information Security Saarbrücken
Vincent Lostanlen
lostanlen
Hiring PhD students and postdocs on AI for music and bioacoustics
https://audio.ls2n.fr/jobs/
CNRS Nantes, France
Kahina Fekir
kahinaFekir
I learned to always take on things I’d never done before. Growth and comfort do not coexist.