You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
John Baez (Mar 05 2022 at 01:40):Come spend the summer at the Topos Institute! For early-career researchers, we’re excited to open up applications for our summer research associate (RA) program.
John Baez (Mar 05 2022 at 01:40):Summer RAs are an important part of life at Topos — they help explore new directions relevant to Topos projects, and they bring new ideas, energy, and expertise to our research groups. This year we’ll welcome a new cohort of RAs to our offices in Berkeley, CA, with the program running from June to August.
John Baez (Mar 05 2022 at 01:41):RAs will be responsible for performing an in-depth research or teaching project, mentored by a Topos faculty mentor or advisor. This year possible mentors may include Conal Elliott, Valeria de Paiva, Evan Patterson, Dana Scott, David Spivak, and others. RAs will work closely with their mentor to define and pursue a research project.
John Baez (Mar 05 2022 at 01:41):Along the way, RAs will also participate in our weekly lunches and seminars, blog about their time here, and produce papers, books, software, or policy, according to the parameters of their project.
John Baez (Mar 05 2022 at 01:42):Applications are now open. The position is full-time (~40 hours per week) and paid hourly starting at $30/hour. Unfortunately, Topos is not able to sponsor US work visas for participants.
Please apply by Sunday March 27th. Offers of positions will be made in early April.
John Baez (Mar 05 2022 at 01:43):For some more information, and to apply, go here.
Jules Hedges (Mar 05 2022 at 11:50):Out of curiosity, are there any plans to host RAs in the Oxford office?
John Baez (Mar 05 2022 at 17:30):That's an interesting idea, but I think not: Brendan Fong said
Good: Dana Scott is excited about mentoring a project! He's suggested a project about a recent preprint of Peter Hines 'On strict reflexive extensionality in compact closed categories', but seems open to other topics too. So you could get paid to spend a summer learning from Dana Scott!
Bad: We can't sponsor US work visas, so it's mostly an opportunity for people already based in the US in some way.
Evan Patterson (Nov 10 2022 at 20:05):Hi everyone, the call for applications for the 2023 Summer Research Associate program at Topos Institute is now open: https://topos.site/files/2023_Topos_Summer_RA_Announcement.pdf
This is a paid opportunity to do ACT research under the mentorship of research staff at Topos Institute. The position is in-person in Berkeley, CA. To get a sense of what people have done in the past, check out this website: https://topos.site/summer/
The application deadline is February 15, 2023. If you have questions, feel free to ask!
Bryce Clarke (Nov 11 2022 at 06:24):"Topos is not able to sponsor visas for applicants." means that this is only open to US candidates?
Bryce Clarke (Nov 11 2022 at 06:28):@Evan Patterson
Evan Patterson (Nov 11 2022 at 21:20):AFAIU, it means that non-US candidates would have to already possess US work rights or get them through their own devices. If you'd like further clarification, I could put you in touch with someone in Topos Institute admin who is more qualified to answer this question.
John Baez (Nov 19 2022 at 14:22):By the way, someone on Mathstodon asked why "geometry of interaction" is listed as a possible research topic. Who is doing that? (I associate it with French mathematicians, linear logic, etc.)
Jean-Baptiste Vienney (Nov 19 2022 at 14:31):Among non French people, I know Phil Scott and Abramsky who worked on that. As far as I understand GoI is something advanced based on linear logic such as Ludics which is even more obscure to me, or differential linear logic that nobody know unfortunately and yet other things, so the people who work on them obviously know well linear logic. At Topos, maybe @Valeria de Paiva ?
Valeria de Paiva (Nov 19 2022 at 15:48):hi @Jean-Baptiste Vienney I'm afraid nothing to do with me. But you're right, I'm interested in the Geometry of Interaction as well as Differential Linear Logic and Automatic Differentiation amongst others.
Nicolas Blanco (Nov 20 2022 at 10:03):Ichiro Hasuo published a paper a few years ago about using GoI as a semantics for higher-order quantum computing. IIRC Claudia Faggian and Benoît Valiron, @Benoit Valiron, used tools inspired from GoI for probabilistic/quantum computing too.
Girard was inspired by quantum physics when he introduced some more recent formulation of GoI based on Von Neumann algebras.
As @Jean-Baptiste Vienney mentioned, Abramsky also worked on it, connecting it to the Int construction.
There is also a link with abstract machines that is used in some of the work above, but I don't know enough about the topic to really say more than that.
For the link with QC, I think I remember that Kostia Chardonnet has done some work in that direction too.
Alex Gryzlov (Nov 22 2022 at 21:35):There's a so-called "Transcendentalist Circle" of people (mostly young researchers I think) who work on GoI-related stuff: https://www.engboris.fr/ts/
Evan Patterson (Nov 23 2022 at 04:05):Evan Patterson said:
AFAIU, it means that non-US candidates would have to already possess US work rights or get them through their own devices.
To elaborate, I somehow forgot that there is precedent for this: one of our RAs last summer is not a US national but is a PhD student at a US university, and the visa she obtained through her university sufficed to employ her for the summer. So that's at least one way this can happen. I'm sure there are other ways but I'm not knowledgeable enough to advise on that.
Jules Hedges (Nov 23 2022 at 08:32):Alex Gryzlov said:
There's a so-called "Transcendentalist Circle" of people (mostly young researchers I think) who work on GoI-related stuff: https://www.engboris.fr/ts/
Cool!
Lê Thành Dũng (Tito) Nguyễn (Nov 23 2022 at 12:09):Well hm it's more like a Zulip forum with a bunch of people vaguely interested in Girard's latest musings :p Boris and Valentin actually work on transcendental syntax though (which is something I personally feel is career suicide for young researchers and also kinda scientifically dubious…)
Morgan Rogers (he/him) (Nov 23 2022 at 13:39):@Lê Thành Dũng (Tito) Nguyễn I work at the lab in which Valentin is doing his PhD; fortunately, he is surrounded by people who are more sceptical of the integrity of Girard's work.
Lê Thành Dũng (Tito) Nguyễn (Nov 23 2022 at 14:32):Yeah I know I spent nearly 4 years in that lab ^^
Morgan Rogers (he/him) (Nov 23 2022 at 14:35):Haha sorry Tito, hadn't made the connection of who you were!
John Baez (Nov 24 2022 at 14:02):All this information about geometry of interaction is great... but it doesn't answer the question I was trying to ask: who at the Topos Institute would mentor research assistants at Topos wanting to work on the geometry of interactions?
John Baez (Nov 24 2022 at 14:03):I guess people interpreted my question rather more broadly.
Evan Patterson (Nov 24 2022 at 18:27):Last summer Dana Scott mentored two RAs through this program, and he might mentor again this summer. I think that geometry of interaction is there because Dana has interest in it. But Dana is interested in many things, so I'm not sure how helpful that is as a guide to possible topics.
Evan Patterson (Feb 07 2023 at 00:27):Hi everyone, as a friendly reminder, the deadline to apply for the Topos Institute summer research program is next week, February 15. If you are interested, please do apply!
The call for applications is here: https://topos.site/files/2023_Topos_Summer_RA_Announcement.pdf
Evan Patterson (Nov 15 2023 at 23:03):Hi everyone, the time has come to annouce next summer's program. The call for applications for the 2024 Summer Research Associate program at Topos Institute is now open. Details and instructions on how to apply are here: https://topos.site/files/2024_Summer_RA_Announcement.pdf
As in past summers, this is a paid, in-person position located at our offices in Berkeley, California. The application deadline is February 1, 2024. Any questions are welcome.
Valeria de Paiva (Nov 16 2023 at 21:49):Evan Patterson said:
Hi everyone, the time has come to annouce next summer's program. The call for applications for the 2024 Summer Research Associate program at Topos Institute is now open. Details and instructions on how to apply are here: https://topos.site/files/2024_Summer_RA_Announcement.pdf
As in past summers, this is a paid, in-person position located at our offices in Berkeley, California. The application deadline is February 1, 2024. Any questions are welcome.
we might as well recall that the Topos Institute cannot provide visas, so only people allowed to work in the US can be chosen.
Evan Patterson (Jan 24 2024 at 01:18):Hi all, as a friendly reminder, applications for a summer RA-ship at Topos Institute are due in one week, on Feb 1. Please do apply if you're interested! See above for more info.