Elektrine lite

← Feed

Ur Ya'ar

yaarur@mathstodon.xyz

<p>Set theoretic logician.<br />Postdoc at the University of Helsinki</p>

Posts

  • View post

    I am very excited to share that I was granted an Academy Research Fellowship by the Research Council of Finland, for my project &amp;quot;Interactions between set theory and non-standard logics&amp;quot;! This is a great honor and great opportunity. The research will be conducted at the University of Helsinki&amp;#39;s Department of Mathematics and Statistics, starting September 2026, and will also offer funding for a PhD student (more on this later). Here is the project&amp;#39;s public desc...

  • View post

    Anyone has experience with the Overleaf-Git integration? I&amp;#39;m considering moving to it from the Overleaf-Dropbox integration, and would be happy to hear some Pros and Cons. #overleaf #git #LaTeX

  • View post

    **Two PhD positions in Mathematical Logic and Set Theory at the University of Helsinki** We are glad to announce calls for two funded PhD positions opening at the University of Helsinki: 1. Doctoral Researcher in Mathematical Logic, as part of the research project “Logic and Computation over Semirings”, led by Professor Juha Kontinen.  https://jobs.helsinki.fi/job/Helsinki-Doctoral-Researcher-in-Mathematical-Logic/1365070157/ 2. Doctoral Researcher in Set Theory and Mathematical Log...