Create accountLogin

Recent searches

No recent searches

Search options

Not available on dice.camp.
dice.camp is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Mastodon server for RPG folks to hang out and talk. Not owned by a billionaire.

Administered by:

Server stats:

1.8K
active users

dice.camp: AboutProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.7

#MULCIA

0 posts0 participants0 posts today
José A. Alonso<p><a href="https://mathstodon.xyz/tags/MULCIA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MULCIA</span></a>: PhD funding in logic at UCL. <a href="https://tinyurl.com/2397y9gf" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">tinyurl.com/2397y9gf</span><span class="invisible"></span></a> <a href="https://mathstodon.xyz/tags/PhD" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PhD</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Logic</span></a></p>
José A. Alonso<p><a href="https://mathstodon.xyz/tags/MULCIA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MULCIA</span></a>: PhD Scholarship in Logic and AI – DTU Compute, Lyngby (Denmark). <a href="https://tinyurl.com/25xx9m7y" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">tinyurl.com/25xx9m7y</span><span class="invisible"></span></a> <a href="https://mathstodon.xyz/tags/PhD" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PhD</span></a> <a href="https://mathstodon.xyz/tags/CompSci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CompSci</span></a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AI</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Logic</span></a></p>
José A. Alonso<p><a href="https://mathstodon.xyz/tags/MULCIA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MULCIA</span></a>: Postdoctoral position in automated verification and debugging of numerical programs. Uppsala University. <a href="https://tinyurl.com/25h39jfg" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">tinyurl.com/25h39jfg</span><span class="invisible"></span></a> <a href="https://mathstodon.xyz/tags/PostDoc" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PostDoc</span></a> <a href="https://mathstodon.xyz/tags/CompSci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CompSci</span></a></p>
José A. Alonso<p><a href="https://mathstodon.xyz/tags/MULCIA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MULCIA</span></a>: PhD position in Computing Science focusing on automated verification and debugging of numerical programs. <a href="https://tinyurl.com/25uu2uvk" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">tinyurl.com/25uu2uvk</span><span class="invisible"></span></a> <a href="https://mathstodon.xyz/tags/PhD" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PhD</span></a> <a href="https://mathstodon.xyz/tags/PostDoc" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PostDoc</span></a> <a href="https://mathstodon.xyz/tags/CompSci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CompSci</span></a></p>
José A. Alonso<p><a href="https://mathstodon.xyz/tags/MULCIA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MULCIA</span></a>: Post-Doctoral Research Visit F/M Machine Learning for translation between formal mathematics libraries. <a href="https://tinyurl.com/28pdnlvr" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">tinyurl.com/28pdnlvr</span><span class="invisible"></span></a> <a href="https://mathstodon.xyz/tags/PostDoc" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PostDoc</span></a> <a href="https://mathstodon.xyz/tags/CompSci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CompSci</span></a></p>
José A. Alonso<p><a href="https://mathstodon.xyz/tags/MULCIA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MULCIA</span></a>: PhD position 3.5y in Logic and Complexity, Sheffield (UK). <a href="https://tinyurl.com/4ctnu8x4" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">tinyurl.com/4ctnu8x4</span><span class="invisible"></span></a> <a href="https://mathstodon.xyz/tags/PhD" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PhD</span></a> <a href="https://mathstodon.xyz/tags/CompSci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CompSci</span></a></p>
José A. Alonso<p><a href="https://mathstodon.xyz/tags/MULCIA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MULCIA</span></a>: 2 year postdoc in the Compositionality group at the Tallinn University of Technology. The position would suit a theoretically minded computer scientist interested in applications of probability theory and logic in verification and AI. <a href="https://tinyurl.com/mwe5383e" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">tinyurl.com/mwe5383e</span><span class="invisible"></span></a> <a href="https://mathstodon.xyz/tags/PostDoc" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PostDoc</span></a> <a href="https://mathstodon.xyz/tags/CompSci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CompSci</span></a></p>
José A. Alonso<p><a href="https://mathstodon.xyz/tags/MULCIA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MULCIA</span></a>: 4y PhD in Logic - the Computational Data Analytics group of Johannes Fürnkranz, JKU Linz (Austria). <a href="https://tinyurl.com/33fcnajr" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">tinyurl.com/33fcnajr</span><span class="invisible"></span></a> <a href="https://mathstodon.xyz/tags/PhD" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PhD</span></a> <a href="https://mathstodon.xyz/tags/CompSci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CompSci</span></a></p>
José A. Alonso<p><a href="https://mathstodon.xyz/tags/MULCIA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MULCIA</span></a>: funded PhD Studentship in Proof-theoretic Semantics, UCL (Londen, UK). <a href="https://tinyurl.com/mp764tsk" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">tinyurl.com/mp764tsk</span><span class="invisible"></span></a> <a href="https://mathstodon.xyz/tags/PhD" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PhD</span></a> <a href="https://mathstodon.xyz/tags/CompSci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CompSci</span></a></p>
José A. Alonso<p><a href="https://mathstodon.xyz/tags/MULCIA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MULCIA</span></a>: 4y PhD/Postdoc Project TAIGER: Training and Guiding AI Agents with Ethical Rules, TU Wien (Austria). <a href="https://tinyurl.com/4r84jcpd" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">tinyurl.com/4r84jcpd</span><span class="invisible"></span></a> <a href="https://mathstodon.xyz/tags/PhD" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PhD</span></a> <a href="https://mathstodon.xyz/tags/PostDoc" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PostDoc</span></a> <a href="https://mathstodon.xyz/tags/CompSci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CompSci</span></a></p>
José A. Alonso<p><a href="https://mathstodon.xyz/tags/MULCIA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MULCIA</span></a>: PostDoc on Lean + Compilers at the University of Cambridge <a href="https://tinyurl.com/mr3r773h" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">tinyurl.com/mr3r773h</span><span class="invisible"></span></a> <a href="https://mathstodon.xyz/tags/PostDoc" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PostDoc</span></a> <a href="https://mathstodon.xyz/tags/CompSci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CompSci</span></a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LeanProver</span></a></p>
José A. Alonso<p><a href="https://mathstodon.xyz/tags/MULCIA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MULCIA</span></a>: PhD position on automated verification at ETH Zurich. <a href="https://tinyurl.com/2s434kj3" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">tinyurl.com/2s434kj3</span><span class="invisible"></span></a> <a href="https://mathstodon.xyz/tags/PhD" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PhD</span></a> <a href="https://mathstodon.xyz/tags/CompSci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CompSci</span></a></p>
José A. Alonso<p><a href="https://mathstodon.xyz/tags/MULCIA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MULCIA</span></a>: Looking for PostDoc in the Formally Verified Security group at MPI-SP. <a href="https://tinyurl.com/5axbmrpz" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">tinyurl.com/5axbmrpz</span><span class="invisible"></span></a> <a href="https://mathstodon.xyz/tags/PostDoc" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PostDoc</span></a> <a href="https://mathstodon.xyz/tags/CompSci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CompSci</span></a></p>
José A. Alonso<p><a href="https://mathstodon.xyz/tags/MULCIA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MULCIA</span></a>: PhD/PostDoc position in Formal Methods at the University of Konstanz. <a href="https://tinyurl.com/ycx9dmmn" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">tinyurl.com/ycx9dmmn</span><span class="invisible"></span></a> <a href="https://mathstodon.xyz/tags/PhD" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PhD</span></a> <a href="https://mathstodon.xyz/tags/PostDoc" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PostDoc</span></a> <a href="https://mathstodon.xyz/tags/CompSci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CompSci</span></a></p>
José A. Alonso<p><a href="https://mathstodon.xyz/tags/MULCIA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MULCIA</span></a>: 1-year researcher position at Gothenburg university to work on homotopy type theory and synthetic algebraic geometry, with formalisations in (cubical) Agda. <a href="https://tinyurl.com/2s3ktear" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">tinyurl.com/2s3ktear</span><span class="invisible"></span></a> <a href="https://mathstodon.xyz/tags/PostDoc" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PostDoc</span></a> <a href="https://mathstodon.xyz/tags/CompSci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CompSci</span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/Agda" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Agda</span></a></p>
José A. Alonso<p><a href="https://mathstodon.xyz/tags/MULCIA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MULCIA</span></a>: PhD position in formal verification of autonomous systems at Chalmers University. <a href="https://tinyurl.com/4ezjzxwc" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">tinyurl.com/4ezjzxwc</span><span class="invisible"></span></a> <a href="https://mathstodon.xyz/tags/PhD" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PhD</span></a> <a href="https://mathstodon.xyz/tags/CompSci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CompSci</span></a></p>
José A. Alonso<p><a href="https://mathstodon.xyz/tags/MULCIA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MULCIA</span></a>: Postdoc or Assistant Research Professor position in formal methods and probabilistic programming at Penn State CSE. <a href="https://tinyurl.com/mr3zs9yu" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">tinyurl.com/mr3zs9yu</span><span class="invisible"></span></a> <a href="https://mathstodon.xyz/tags/PostDoc" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PostDoc</span></a> <a href="https://mathstodon.xyz/tags/CompSci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CompSci</span></a></p>
José A. Alonso<p><a href="https://mathstodon.xyz/tags/MULCIA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MULCIA</span></a>: PostDoc in using Formal Methods for finding security vulnerabilities and misconfigurations in business-process-driven systems at the University of Exeter (UK) <a href="https://tinyurl.com/mrxdfera" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">tinyurl.com/mrxdfera</span><span class="invisible"></span></a> <a href="https://mathstodon.xyz/tags/PostDoc" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PostDoc</span></a> <a href="https://mathstodon.xyz/tags/CompSci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CompSci</span></a></p>
José A. Alonso<p><a href="https://mathstodon.xyz/tags/MULCIA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MULCIA</span></a>: PhD position in program verification at Uppsala University, <a href="https://tinyurl.com/swbj76df" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">tinyurl.com/swbj76df</span><span class="invisible"></span></a> <a href="https://mathstodon.xyz/tags/PhD" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PhD</span></a> <a href="https://mathstodon.xyz/tags/CompSci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CompSci</span></a></p>
José A. Alonso<p><a href="https://mathstodon.xyz/tags/MULCIA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MULCIA</span></a>: PhD position: Software verification for programmable 6g networks (University of Amsterdam). <a href="https://tinyurl.com/a9rdyez8" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">tinyurl.com/a9rdyez8</span><span class="invisible"></span></a> <a href="https://mathstodon.xyz/tags/PhD" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PhD</span></a> <a href="https://mathstodon.xyz/tags/CompSci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CompSci</span></a></p>
ExploreLive feeds
About