There are several postdoctoral positions available at the Faculty of mathematics and physics, University of Ljubljana, as well as at the Institute for mathematics, physics and mechanics. We are looking for researchers with strong interest in working in any of the following areas:
There is no specific date-limited call for positions, as we are somewhat flexible with starting dates and duration of postdocs. However, we would like to fill the available positions sooner rather than later.
See https://www.fmf.uni-lj.si/en/research/seminar-for-foundations-of-mathematics/ for basic information on the local research group. We are a moderately sized but active and varied group. We seek candidates with some degree of experience in the topics of interest.
Potential candidates should contact me at Andrej.Bauer@fmf.uni-lj.si. Candidates who are specifically interested in machine learning for mathematics are encouraged to also contact Ljupčo Todorovski at ljupco.todorovski@fmf.uni-lj.si.
[#]postdoc #typetheory #machinelearning #job
=> More informations about this toot | More toots from andrejbauer@mathstodon.xyz
@andrejbauer Out of curiosity, are there PhD positions as well?
=> More informations about this toot | More toots from jeanas@mastodon.abou-samra.fr
@jeanas I will be able to answer that question in the early spring, but generally we do have a small number of PhD positions. I will publish the relevant information here when the time comes.
=> More informations about this toot | More toots from andrejbauer@mathstodon.xyz
@andrejbauer Thank you. You might hear back from me then. I hesitate to apply for PhD in type theory, because although I've had much interest for it lately (you might have seen me on proofassistants.stackexchange.com), it is not so close to the areas I've had courses and internships in so far — my current internship is about extensions of Presburger arithmetic in word combinatorics.
=> More informations about this toot | More toots from jeanas@mastodon.abou-samra.fr
@andrejbauer Another consideration is the location; whether I would want to spend 3-4 years abroad is something I am currently not sure about (it depends on personal factors). My native country is France. If I was looking for PhD opportunities in type theory in France, I suppose I should contact Hugo Herbelin or Pierre-Marie Pédrot. Would you have other recommendations?
=> More informations about this toot | More toots from jeanas@mastodon.abou-samra.fr
@jeanas There is a very active group in Nantes. Apart from Pierre-Marie Pédrot you have several other researchers there, for instance Assia Mahboubi and Nicolas Tabareau. France is a power-house in type theory.
=> More informations about this toot | More toots from andrejbauer@mathstodon.xyz
@andrejbauer #jobs #tech good luck all
=> More informations about this toot | More toots from tleekeene@mastodon.social
@andrejbauer
I am interested in Mathematics for ML and I'm thinking about having Math as my major :) Is that a thing as master of phd? That is you inspire your ML stuff from the math world. I believe math is underrated in this area.
=> More informations about this toot | More toots from farooqkz@blackrock.city
@farooqkz A machine learning expert once told me that, for the purposes of Math+AI, they'd rather have as a postdoc a mathematician who know nothing about machine learning than the other way around.
=> More informations about this toot | More toots from andrejbauer@mathstodon.xyz
@andrejbauer
For improving math with ML or the other way around? As for improving ML with math, yeah I also believe a mathematician is needed. And that's why I am considering studying math.
=> More informations about this toot | More toots from farooqkz@blackrock.city This content has been proxied by September (ba2dc).Proxy Information
text/gemini