Topics:
- position at U. of Strathclyde (1 message, latest: Nov 30 2024 at 00:47)
- tenure-track position at U. of Ottawa (1 message, latest: Nov 28 2024 at 02:57)
- Postdoc positions at Chapman U. (2 messages, latest: Nov 27 2024 at 07:52)
- (Senior) Lecturer Position @ Strathclyde (~asst/assoc Prof) (1 message, latest: Nov 21 2024 at 15:18)
- Postdoc position (start: Feb 2025, Chambéry, France) (1 message, latest: Nov 18 2024 at 13:56)
- PhD and postdoc positions in type theory (start: Oct 2025) (1 message, latest: Nov 15 2024 at 17:38)
- PhD position @ MSP/Strathclyde (1 message, latest: Nov 04 2024 at 12:14)
- Topos Institute summer research positions (32 messages, latest: Nov 02 2024 at 02:22)
- Looking for PhDs/visiting students for my lab at MIT (1 message, latest: Oct 22 2024 at 14:07)
- postdoc on higher category theory in Gothenburg (3 messages, latest: Oct 22 2024 at 11:48)
- Seeking a team member (9 messages, latest: Sep 07 2024 at 12:40)
- Two post-doc positions at Topos Research UK (1 message, latest: Sep 02 2024 at 18:22)
- 2 year postdoc in Tallinn - application deadline 15 Sept (1 message, latest: Aug 27 2024 at 14:45)
- Hiring CT people for an ML startup (2 messages, latest: Aug 14 2024 at 07:23)
- Postdoc positions at UCL on Categorical Probability Theory (1 message, latest: Jul 24 2024 at 13:37)
- people who have gotten jobs (93 messages, latest: Jul 23 2024 at 21:34)
- differentiable logic (5 messages, latest: Jul 21 2024 at 20:41)
- Join Huawei in Paris or London (1 message, latest: Jun 30 2024 at 09:25)
- Join Huawei's Lagrange Center in Paris (1 message, latest: Jun 23 2024 at 17:41)
- PlantingSpace (1 message, latest: Jun 20 2024 at 10:25)
- Postdoc at the University of Manchester (2 messages, latest: Jun 18 2024 at 08:41)
- Symbolica (11 messages, latest: May 26 2024 at 08:37)
- cubical Agda at Göteborgs Universitet (2 messages, latest: May 18 2024 at 19:33)
- Knowledge Representation Category Theorist (3 messages, latest: May 03 2024 at 12:11)
- 12-month postdoc w/Sam van Gool at IRIF, Paris (1 message, latest: May 02 2024 at 13:28)
- FP at Conexus (1 message, latest: Apr 17 2024 at 18:23)
- Postdoc at LIPN (9 messages, latest: Apr 02 2024 at 08:29)
- PhD at Utrecht (3 messages, latest: Mar 18 2024 at 17:45)
- Postdoc positions in Reykjavik (1 message, latest: Mar 16 2024 at 13:51)
- Postdoc position at the University of Strathclyde (1 message, latest: Mar 15 2024 at 12:03)
- PhD positions in Tallinn (Logic and Semantics) (1 message, latest: Mar 15 2024 at 11:15)
- 3-year Postdoc at Macquarie University (3 messages, latest: Mar 05 2024 at 02:38)
- 2 Teaching-track positions at McMaster (Canada) (1 message, latest: Feb 14 2024 at 21:58)
- Full Professor at LIPN (4 messages, latest: Jan 30 2024 at 19:07)
- MCF (Associate Professor) at LIPN (3 messages, latest: Jan 30 2024 at 15:57)
- MSc and PhD positions at Western Ontario, deadline Feb 1 (1 message, latest: Jan 11 2024 at 19:11)
- Utrecht assistant professorships (esp Econ; due 8 Jan) (1 message, latest: Dec 20 2023 at 12:30)
- Postdoc and ongoing teaching positions at Western University (1 message, latest: Dec 04 2023 at 15:50)
- Aarhus University is hiring Assistant and Associate Profs (1 message, latest: Nov 17 2023 at 15:51)
- Startup in Australia (4 messages, latest: Nov 14 2023 at 19:00)
- 3-year postdoc at the University of Hertfordshire, UK (1 message, latest: Nov 01 2023 at 15:42)
- stream events (2 messages, latest: Oct 31 2023 at 10:55)
- Fully funded PhD Studentship in Proof-theoretic Semantics... (1 message, latest: Oct 30 2023 at 09:15)
- Postdoc in quantum computation at Dalhousie (1 message, latest: Oct 26 2023 at 08:34)
- [Categories]: PhD or postdoc position at FAU (1 message, latest: Oct 26 2023 at 08:33)
- Lectureship at the University of Manchester (1 message, latest: Sep 26 2023 at 10:04)
- 2 year postdoc in Tallinn (1 message, latest: Sep 25 2023 at 08:36)
- Research position at Masaryk University (1 message, latest: Sep 23 2023 at 16:37)
- Faculty positions in Oxford (2 messages, latest: Sep 22 2023 at 18:12)
- Postdoc positions in Quantum Programming in Edinburgh (1 message, latest: Aug 28 2023 at 11:08)
- PhD Position in Higher-Order Mathematical Operational S... (2 messages, latest: Aug 12 2023 at 09:10)
- Postdoc position, Logic and Semantics Group in Tallinn (1 message, latest: Aug 11 2023 at 09:59)
- PhD position in Gothenburg (1 message, latest: Jul 17 2023 at 00:06)
- PhD in Pisa (1 message, latest: Jul 15 2023 at 10:54)
- PhD in Utrecht (1 message, latest: Jul 01 2023 at 20:12)
- Postdoc at São Paulo - Brazil (3 messages, latest: Jul 01 2023 at 16:28)
- Funded Nottingham PhD Studentship 2023 (1 message, latest: May 23 2023 at 14:39)
- Research associate in Oxford (2 messages, latest: Mar 17 2023 at 13:10)
- Topos Institute positions (2 messages, latest: Mar 10 2023 at 10:08)
- funded PhD position at Swansea (2 messages, latest: Jan 29 2023 at 14:13)
- Assistant Professorship in Amsterdam (1 message, latest: Jan 27 2023 at 21:19)
- graduate positions at the University of Western Ontario (1 message, latest: Jan 18 2023 at 05:56)
- positions at Topos (2 messages, latest: Jan 06 2023 at 21:28)
- permanent position at Macquarie (1 message, latest: Dec 18 2022 at 14:30)
- Kleisli databases (3 messages, latest: Dec 13 2022 at 05:12)
- Topos Institute research software engineer (1 message, latest: Dec 12 2022 at 18:38)
- Rule-based models and open systems at Strathclyde (1 message, latest: Dec 05 2022 at 11:28)
- 10 Funded PhD Studentships at Nottingham 2022 (1 message, latest: Nov 21 2022 at 12:48)
- Faculty positions at Case Western Reserve (1 message, latest: Nov 07 2022 at 14:20)
- Probabilistic compilation as functor (1 message, latest: Oct 28 2022 at 00:21)
- Applying for Master's/PhD in Categories/Algebraic Topology (1 message, latest: Oct 20 2022 at 10:57)
- Gothenburg: four PhD student positions (3 messages, latest: Oct 18 2022 at 05:52)
- BYU is looking to hire a physicist. Deadline 15 Oct! (1 message, latest: Oct 11 2022 at 01:54)
- Cambridge faculty position, category-theory friendly (2 messages, latest: Oct 07 2022 at 17:48)
- PhD position in Edinburgh (1 message, latest: Jul 16 2022 at 12:28)
- NIST NRC Postdoc Opportunity (6 messages, latest: Jun 21 2022 at 14:07)
- looking for a private tutor (1 message, latest: Jun 14 2022 at 21:18)
- startup working on knowledge representation (1 message, latest: Jun 08 2022 at 15:34)
- job at the University of Manchester (1 message, latest: Jun 05 2022 at 10:19)
- open PhD and postdoc position in categorical probability (1 message, latest: Jun 02 2022 at 10:00)
- Berkeley shared house June-August (5 messages, latest: May 10 2022 at 19:21)
- postdoc (1 message, latest: Apr 25 2022 at 09:34)
- Infrabayesianism (1 message, latest: Mar 24 2022 at 08:08)
- Silvermint (8 messages, latest: Mar 17 2022 at 16:10)
- Topos Institute is hiring (5 messages, latest: Feb 24 2022 at 17:11)
- two postdocs in Marseille and Paris (1 message, latest: Feb 24 2022 at 15:56)
- Looking for a partner to join Cavenwell Industrial AI (1 message, latest: Jan 15 2022 at 04:22)
- ACT, computer science and biology (3 messages, latest: Jan 10 2022 at 21:42)
- CT in Canada (57 messages, latest: Dec 09 2021 at 17:30)
- PhD in Portugal (1 message, latest: Dec 06 2021 at 22:23)
- postdoc funded by the National Research Agency (1 message, latest: Dec 04 2021 at 22:24)
- tenure-track and postdoc openings at Western University (1 message, latest: Nov 24 2021 at 17:40)
- Postdoctoral research fellow at Topos Institute (1 message, latest: Oct 19 2021 at 18:31)
- PhD fellowships (2 messages, latest: Oct 08 2021 at 07:45)
- One-year postdoc on CT for lambda-calculus and proof theory (1 message, latest: Sep 29 2021 at 19:51)
- Two PhD positions at Tallinn University of Technology (1 message, latest: Sep 13 2021 at 13:54)
- Jobs at the PNNL (6 messages, latest: Sep 03 2021 at 20:02)
- Cat Theory in Master's (15 messages, latest: Jul 17 2021 at 15:40)
- Startup working on AI (1 message, latest: Jun 07 2021 at 08:36)
- Sabbaticals in Tallinn (20 messages, latest: Jun 02 2021 at 12:34)
- Phd position at University College London (1 message, latest: Jun 01 2021 at 16:21)
- position at Susquehanna University (1 message, latest: Apr 09 2021 at 17:59)
- 2 PhD positions at University of Strathclyde, Glasgow (5 messages, latest: Apr 02 2021 at 11:51)
- Faculty position at University College London (1 message, latest: Apr 02 2021 at 09:19)
- PhD position Coalgebraic Logics @ MSP/Strathclyde (5 messages, latest: Feb 20 2021 at 20:53)
- congratulations to Fabrizio (15 messages, latest: Feb 18 2021 at 03:54)
- Research scientist in DC/MD area (2 messages, latest: Feb 10 2021 at 18:39)
- 8 tenure-track positions at McMaster University (1 message, latest: Dec 18 2020 at 16:03)
- RFP: AI for SQL via CT (2 messages, latest: Dec 07 2020 at 06:56)
- Postdoctoral research fellowship at the University of Leeds (1 message, latest: Dec 03 2020 at 15:27)
- Ph.D. position in algebraic methods in ML (1 message, latest: Nov 12 2020 at 13:19)
- Open position for a functional programmer (1 message, latest: Nov 11 2020 at 17:00)
- Two P2PModels research jobs in Madrid (1 message, latest: Nov 02 2020 at 18:28)
- Sharing successful grant applications (3 messages, latest: Sep 01 2020 at 15:01)
- Software Engineer position in Uber's Data Platform (1 message, latest: Aug 14 2020 at 23:00)
- ACT industry postdoc in Vienna (1 message, latest: Aug 12 2020 at 10:32)
- RIKEN (1 message, latest: Jul 20 2020 at 04:17)
- Postdocs at NIST, Maryland/DC (6 messages, latest: Jul 15 2020 at 18:03)
- duplicate stream? (5 messages, latest: Jul 08 2020 at 22:46)
- research scientist needed (1 message, latest: Jul 07 2020 at 19:32)
- permanent positions at Strathclyde (1 message, latest: Jul 07 2020 at 16:56)
- PhD positions in Estonia (1 message, latest: Jun 27 2020 at 18:04)
- Companies that hire category people (2 messages, latest: May 13 2020 at 03:50)