🔎 Looking for highly-motivated intern ⤵️
🧑💻 Internship proposal at LS2N, @centralenantes.bsky.social ☀️, with Gaëtan Staquet and myself.
📝 Subject: Bounded model checking for energy-aware real-time systems
🧑🎓 Can be followed by a PhD.
📨 Feel free to email us!
lipn.univ-paris13.fr/~andre/sujet...
