research at BSc level mathematics

Stream: new members

[Attila Vajda]

Hello,

I am learning the basics of Lean4, categories and topos logic, and I am also doing a BSc in mathematics (in the first year). I wonder if there are globally available funding, or research opportunities, I get a bit lost when I try to find these things, so I thought I'd ask here.

I have a few MVP ideas for research, and I'm based in Europe.

Thanks, Attila