Zulip Chat Archive
Stream: job postings
Topics:
- Assistant professor in Theoretical CS at VU Amsterdam (1 message, latest: Jan 30 2023 at 07:37)
- summer internships at Aalto University, Finland (2 messages, latest: Jan 11 2023 at 08:50)
- Lean for Program Verification with MLIR (9 messages, latest: Jan 10 2023 at 15:15)
- Verification Jobs @ Cryspen (1 message, latest: Jan 05 2023 at 11:52)
- Full prof in Maths and AI (Leiden, NL) (2 messages, latest: Jan 04 2023 at 12:32)
- PhD position in Cambridge: Automatic Theorem Proving (1 message, latest: Jan 03 2023 at 14:48)
- Postdoc in Maths and AI [@ Sydney] (1 message, latest: Dec 07 2022 at 09:31)
- Post-doc at Lyon/Saint-Étienne (3 messages, latest: Nov 08 2022 at 22:38)
- Positions at Bonn University (3 messages, latest: Oct 29 2022 at 10:49)
- Smart State Chair in Data Analysis at USC (1 message, latest: Oct 20 2022 at 20:47)
- Postdoc and Internship positions at IBM Research (1 message, latest: Oct 14 2022 at 22:19)
- PhD position at Aarhus (1 message, latest: Oct 12 2022 at 14:20)
- PhD position in number theory and formalisation @ UEA (2 messages, latest: Oct 12 2022 at 10:45)
- 2 yr postdoc in CAS, geometry/repn theory (1 message, latest: Oct 11 2022 at 17:53)
- Faculty position in Logical Foundations at Cambridge (1 message, latest: Oct 07 2022 at 08:55)
- Bonn: two professorships in formal mathematics etc (1 message, latest: Sep 23 2022 at 15:15)
- KeYmaera X in Karlsruhe (1 message, latest: Jul 13 2022 at 21:20)
- lean jobs in Düsseldorf (1 message, latest: Jun 17 2022 at 21:47)
- Lean job in Orsay (8 messages, latest: Jun 12 2022 at 19:41)
- Formal methods position at IOG (1 message, latest: Apr 27 2022 at 17:32)
- Yatima Inc (1 message, latest: Apr 04 2022 at 14:10)
- stream events (2 messages, latest: Mar 14 2022 at 20:02)
- NASA summer internships (1 message, latest: Mar 04 2022 at 16:00)
- AMD formal verification job in UK (1 message, latest: Feb 28 2022 at 16:57)
- PhD position in Number Theory & Formalization @ VU Amsterdam (1 message, latest: Feb 28 2022 at 16:27)
- MSc thesis opportunity in Karlsruhe (3 messages, latest: Feb 23 2022 at 13:17)
- Post-doc offer at Saarbrücken University (6 messages, latest: Feb 13 2022 at 05:05)
- Post-doc in Utah (1 message, latest: Jan 19 2022 at 03:50)
- Msc internship in the Paris area (2 messages, latest: Jan 18 2022 at 16:06)
- Full-time Program management position (1 message, latest: Dec 16 2021 at 19:48)
- Article formalization (9 messages, latest: Nov 18 2021 at 15:46)
- Post-doc at Lyon/Saint-Etienne (1 message, latest: Nov 17 2021 at 10:30)
- Full-time Research Software Engineer position (1 message, latest: Nov 09 2021 at 18:45)
- 200hours to work on Quantum Physics in Lean via Graph Theory (1 message, latest: Oct 24 2021 at 16:26)
- Five tenure-track faculty positions, University of Virginia (1 message, latest: Oct 14 2021 at 17:43)
- joint postdoc at Carnegie Mellon (1 message, latest: Oct 08 2021 at 00:04)
- Post-doc on formal verification at Boston College (1 message, latest: Sep 16 2021 at 13:55)
- Mathematics of AI post-doc at IBM (1 message, latest: Aug 12 2021 at 11:02)
- Professorship at KIT (1 message, latest: Aug 10 2021 at 14:00)
Last updated: Jan 31 2023 at 21:29 UTC