bolha.us

0 posts0 participants0 posts today

José A. Alonso<a href="https://mathstodon.xyz/tags/MULCIA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#MULCIA</a>: Professor in logic and verification in Computer Science at the Technical University of Munich (TUM). <a href="https://tinyurl.com/23m8e3nm" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://tinyurl.com/23m8e3nm</a> <a href="https://mathstodon.xyz/tags/Jobs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Jobs</a> <a href="https://mathstodon.xyz/tags/CompSci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CompSci</a>

José A. Alonso<a href="https://mathstodon.xyz/tags/MULCIA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#MULCIA</a>: 10 funded PhD positions in Automated Reasoning at TU Wien. <a href="https://tinyurl.com/25xb5u39" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://tinyurl.com/25xb5u39</a> <a href="https://mathstodon.xyz/tags/PhD" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#PhD</a> <a href="https://mathstodon.xyz/tags/CompSci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CompSci</a>

José A. Alonso<a href="https://mathstodon.xyz/tags/MULCIA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#MULCIA</a>: Position in formal verification of AI at Glasgow. <a href="https://tinyurl.com/29mzrjjd" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://tinyurl.com/29mzrjjd</a> <a href="https://mathstodon.xyz/tags/PostDoc" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#PostDoc</a> <a href="https://mathstodon.xyz/tags/CompSci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CompSci</a>

José A. Alonso<a href="https://mathstodon.xyz/tags/MULCIA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#MULCIA</a>: Full time postdoctoral position in foundations of mathematics, ICS CAS Prague. <a href="https://tinyurl.com/2ahzjg5a" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://tinyurl.com/2ahzjg5a</a> <a href="https://mathstodon.xyz/tags/PostDoc" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#PostDoc</a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Logic</a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Math</a>

José A. Alonso<a href="https://mathstodon.xyz/tags/MULCIA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#MULCIA</a>: PhD studentship at Imperial on automated testing and verification of machine learning compilers and runtimes. <a href="https://tinyurl.com/2dqr3q5r" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://tinyurl.com/2dqr3q5r</a> <a href="https://mathstodon.xyz/tags/PhD" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#PhD</a> <a href="https://mathstodon.xyz/tags/CompSci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CompSci</a>

José A. Alonso<a href="https://mathstodon.xyz/tags/MULCIA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#MULCIA</a>: PhD student position in knowledge representation and reasoning at TU Graz. <a href="https://tinyurl.com/22f4ed5a" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://tinyurl.com/22f4ed5a</a> <a href="https://mathstodon.xyz/tags/PhD" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#PhD</a> <a href="https://mathstodon.xyz/tags/CompSci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CompSci</a>

José A. Alonso<a href="https://mathstodon.xyz/tags/MULCIA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#MULCIA</a>: 2-3 PhD/Postdoc positions in mathematical logic, Würzburg (Germany). <a href="https://tinyurl.com/27783c2l" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://tinyurl.com/27783c2l</a> <a href="https://mathstodon.xyz/tags/PhD" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#PhD</a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Logic</a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Math</a>

José A. Alonso<a href="https://mathstodon.xyz/tags/MULCIA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#MULCIA</a>: PhD funding in logic at UCL. <a href="https://tinyurl.com/2397y9gf" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://tinyurl.com/2397y9gf</a> <a href="https://mathstodon.xyz/tags/PhD" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#PhD</a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Logic</a>

José A. Alonso<a href="https://mathstodon.xyz/tags/MULCIA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#MULCIA</a>: Convocatoria Profesorado Sustituto en el Departamento de Ciencias de la Computación e IA de la Universidad de Sevilla (Plaza PSI-2025-0030). <a href="https://tinyurl.com/2yfqytyj" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://tinyurl.com/2yfqytyj</a> <a href="https://mathstodon.xyz/tags/Jobs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Jobs</a> <a href="https://mathstodon.xyz/tags/CompSci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CompSci</a>

José A. Alonso<a href="https://mathstodon.xyz/tags/MULCIA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#MULCIA</a>: Post-doctoral fellow in formal verification of multi-agent systems. <a href="https://tinyurl.com/22ssea82" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://tinyurl.com/22ssea82</a> <a href="https://mathstodon.xyz/tags/PostDoc" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#PostDoc</a> <a href="https://mathstodon.xyz/tags/CompSci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CompSci</a>

José A. Alonso<a href="https://mathstodon.xyz/tags/MULCIA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#MULCIA</a>: Postdoctoral position in practically usable verification for numerical programs at Uppsala University. <a href="https://tinyurl.com/2ynrmk7o" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://tinyurl.com/2ynrmk7o</a> <a href="https://mathstodon.xyz/tags/PostDoc" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#PostDoc</a> <a href="https://mathstodon.xyz/tags/CompSci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CompSci</a>

José A. Alonso<a href="https://mathstodon.xyz/tags/MULCIA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#MULCIA</a>: PhD student in computing science focusing on practically usable verification for numerical programs at Uppsala University. <a href="https://tinyurl.com/25266uay" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://tinyurl.com/25266uay</a> <a href="https://mathstodon.xyz/tags/PhD" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#PhD</a> <a href="https://mathstodon.xyz/tags/CompSci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CompSci</a>

José A. Alonso<a href="https://mathstodon.xyz/tags/MULCIA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#MULCIA</a>: PhD position in theoretical computer science, Universitat Pompeu Fabra (Spain). <a href="https://tinyurl.com/2bq6ueod" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://tinyurl.com/2bq6ueod</a> <a href="https://mathstodon.xyz/tags/PhD" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#PhD</a> <a href="https://mathstodon.xyz/tags/CompSci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CompSci</a>

José A. Alonso<a href="https://mathstodon.xyz/tags/MULCIA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#MULCIA</a>: PhD position in number theory and formalization at Vrije Universiteit Amsterdam. <a href="https://tinyurl.com/2djc3b7r" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://tinyurl.com/2djc3b7r</a> <a href="https://mathstodon.xyz/tags/PhD" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#PhD</a> <a href="https://mathstodon.xyz/tags/CompSci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CompSci</a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ITP</a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LeanProver</a>

José A. Alonso<a href="https://mathstodon.xyz/tags/MULCIA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#MULCIA</a>: Assistant Professor in Mathematics (Mathematical Logic), Stockholm University (Sweden). <a href="https://tinyurl.com/27qnzgq8" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://tinyurl.com/27qnzgq8</a> <a href="https://mathstodon.xyz/tags/Jobs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Jobs</a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Logic</a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Math</a>

José A. Alonso<a href="https://mathstodon.xyz/tags/MULCIA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#MULCIA</a>: Postdoc position in theoretical computer science, King’s College London (UK). <a href="https://tinyurl.com/2avccjrd" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://tinyurl.com/2avccjrd</a> <a href="https://mathstodon.xyz/tags/PostDoc" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#PostDoc</a> <a href="https://mathstodon.xyz/tags/CompSci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CompSci</a>

José A. Alonso<a href="https://mathstodon.xyz/tags/MULCIA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#MULCIA</a>: Postdoc position at LMU Munich related to the use or development of automatic or interactive theorem provers. <a href="https://tinyurl.com/2dc4cmuv" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://tinyurl.com/2dc4cmuv</a> <a href="https://mathstodon.xyz/tags/PostDoc" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#PostDoc</a> <a href="https://mathstodon.xyz/tags/CompSci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CompSci</a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ITP</a>

José A. Alonso<a href="https://mathstodon.xyz/tags/MULCIA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#MULCIA</a>: Assistant professor in mathematics with focus on mathematical logic at Stockholm University. <a href="https://tinyurl.com/27qnzgq8" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://tinyurl.com/27qnzgq8</a> <a href="https://mathstodon.xyz/tags/Job" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Job</a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Logic</a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Math</a>

José A. Alonso<a href="https://mathstodon.xyz/tags/MULCIA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#MULCIA</a>: Post-doctoral fellow in formal verification of multi-agent systems. <a href="https://tinyurl.com/22ssea82" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://tinyurl.com/22ssea82</a> <a href="https://mathstodon.xyz/tags/PostDoc" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#PostDoc</a> <a href="https://mathstodon.xyz/tags/CompSci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CompSci</a>

Recent searches

Search options

Administered by:

Server stats:

#MULCIA