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 &quot;Interactions between set theory and non-standard logics&quot;! This is a great honor and great opportunity. The research will be conducted at the University of Helsinki&#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&#39;s public desc...
-
View post
Anyone has experience with the Overleaf-Git integration? I&#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...