Zulip Chat Archive

Stream: job postings

Topics:

Cambridge PhD - Funding Deadline approaching (1 message, latest: Nov 28 2023 at 21:46)
Postdoc position at Rutgers (1 message, latest: Nov 28 2023 at 21:26)
Postdoc Fellowship in Mathematical Sciences at IBM (2 messages, latest: Nov 27 2023 at 21:04)
Postdoc position in formalization in Bonn (1 message, latest: Nov 17 2023 at 17:09)
Full-time research scientist position (1 message, latest: Nov 13 2023 at 02:00)
PhD position in number theory and formalisation @ UEA (4 messages, latest: Oct 23 2023 at 09:02)
PhD position in formalization of maths at Utrecht Unive… (3 messages, latest: Oct 17 2023 at 15:46)
Postdoc position at University of Exeter (1 message, latest: Oct 17 2023 at 15:45)
Multiple theorem proving PhD/postdoc jobs at LMU München (1 message, latest: Sep 28 2023 at 12:22)
AI jobs at Imperial College (4 messages, latest: Sep 12 2023 at 23:49)
Remote Lean jobs at Nethermind (1 message, latest: Sep 07 2023 at 11:23)
lean jobs in Düsseldorf (2 messages, latest: Aug 30 2023 at 08:26)
Refactorings for Lean code (14 messages, latest: Aug 25 2023 at 02:57)
Gyde (2 messages, latest: Aug 11 2023 at 21:00)
stream events (3 messages, latest: Jul 22 2023 at 10:15)
Symbolic Machine Learning Startup Hiring Researchers (1 message, latest: Jul 21 2023 at 18:34)
3-year engineering position in Deducteam, Inria Paris-Saclay (1 message, latest: Apr 22 2023 at 14:12)
Formal methods scientist at INL (1 message, latest: Apr 06 2023 at 00:45)
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)
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 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)
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: Dec 20 2023 at 11:08 UTC