José A. Alonso<p><a href="https://mathstodon.xyz/tags/MULCIA" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>MULCIA</span></a>: Doctoral/Postdoctoral Position in Formal Methods and Verification, Konstanz (Germany). <a href="https://tinyurl.com/ysyqy3g5" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">tinyurl.com/ysyqy3g5</span><span class="invisible"></span></a> <a href="https://mathstodon.xyz/tags/PhD" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>PhD</span></a> <a href="https://mathstodon.xyz/tags/PostDoc" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>PostDoc</span></a> <a href="https://mathstodon.xyz/tags/CompSci" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CompSci</span></a></p>