Zulip Chat Archive

Stream: job postings

Topics:

Multiple PhD Positions at the University of Melbourne (1 message, latest: Apr 28 2025 at 12:14)
Part-Time Lean4 Research Opportunity at ABAKA AI (2 messages, latest: Apr 22 2025 at 18:11)
2-year postdoc position at the math department in Bonn (1 message, latest: Apr 14 2025 at 15:50)
Formal Verification Engineer at Reilabs (1 message, latest: Apr 03 2025 at 19:14)
5-year CS professorship position in Bonn (3 messages, latest: Mar 28 2025 at 13:37)
PhD positions at Stockholm University (deadline April 22) (2 messages, latest: Mar 19 2025 at 09:18)
Succinct is looking for a formal verification intern (2 messages, latest: Mar 07 2025 at 11:12)
PhD position in Number Theory & Formalization @ VU Amsterdam (2 messages, latest: Mar 06 2025 at 17:55)
Harmonic is looking for part-time remote Lean expert (6 messages, latest: Feb 28 2025 at 20:13)
Postdoc position at LMU Munich (1 message, latest: Feb 25 2025 at 16:20)
Assistant Prof in Mathematical Logic, Stockholm University (1 message, latest: Feb 23 2025 at 10:28)
Postdoc position at the University of Iceland (1 message, latest: Feb 12 2025 at 15:12)
Assistant Professors in CS (1 message, latest: Jan 30 2025 at 16:30)
Theorem proving and Machine Learning (1 message, latest: Jan 21 2025 at 10:31)
Lean release notes editor volunteer (1 message, latest: Jan 21 2025 at 09:02)
Lean gig available (2 messages, latest: Jan 16 2025 at 07:34)
Microsoft US Internship on math/crypto program verification (2 messages, latest: Jan 15 2025 at 22:31)
Internship positions at ISTA (1 message, latest: Jan 15 2025 at 16:25)
Proof Engineer @ Cryspen (1 message, latest: Jan 15 2025 at 07:18)
Quick job writing cryptography equivalence proofs (21 messages, latest: Jan 10 2025 at 22:52)
Applied Scientist internship at AWS in London (1 message, latest: Jan 10 2025 at 22:49)
PhD position in Saint-Étienne&Paris (1 message, latest: Dec 20 2024 at 15:36)
Online Part-time Annotation Opportunity at PKU (1 message, latest: Dec 17 2024 at 06:21)
Offering hourly contract work converting proofs to Lean (1 message, latest: Dec 11 2024 at 22:58)
Job Ad: Lund (faculty) and KU Leuven (postdoc) positions (1 message, latest: Nov 27 2024 at 01:07)
Job Posting: Remote Lean4 Trainers (1 message, latest: Nov 25 2024 at 05:56)
Project Numina is Hiring Lean 4 contributors (1 message, latest: Nov 23 2024 at 02:36)
Open tenured/t-track position at UVa in PL and/or compilers (1 message, latest: Nov 23 2024 at 00:29)
Postdoc: AI for formalized math at University of Ljubljana (1 message, latest: Nov 18 2024 at 10:19)
Microsoft internship on verification / crypto with Lean (1 message, latest: Nov 12 2024 at 19:27)
PhD position on LLMs + Lean (1 message, latest: Nov 07 2024 at 17:56)
ETH Zurich Hiring in Automated Theorem Proving (4 messages, latest: Oct 25 2024 at 21:56)
2 years post-doc in Lyon/St-Étienne (1 message, latest: Oct 25 2024 at 21:23)
Assistant Professorship at ETH (2 messages, latest: Oct 25 2024 at 17:15)
Applied Scientist Position at AWS (1 message, latest: Oct 25 2024 at 00:51)
Researcher positions at Microsoft (2 messages, latest: Oct 16 2024 at 20:31)
Lectureship in pure mathematics at Imperial (2 messages, latest: Oct 16 2024 at 16:28)
Seeking part-time remote workers who are proficient in Lean4 (2 messages, latest: Oct 14 2024 at 01:57)
tenure-track position at Carnegie Mellon University (1 message, latest: Oct 10 2024 at 16:36)
Postdoc: ML translation between formal math libraries (4 messages, latest: Oct 03 2024 at 09:04)
2025 Internship at Meta FAIR on AI4Math (1 message, latest: Sep 28 2024 at 14:11)
Lean FRO: Senior Software Engineering Manager (4 messages, latest: Sep 26 2024 at 06:04)
Postdoc in AI / Automation and Philosophy of Math at Purdue (2 messages, latest: Sep 22 2024 at 22:06)
Tenure Track Position, Tufts University (1 message, latest: Sep 20 2024 at 19:12)
Post Doc Researcher Security and Systems (2 messages, latest: Sep 19 2024 at 14:41)
Lectureship positions in Bath (1 message, latest: Sep 16 2024 at 13:47)
Postdoc position at the University of Alberta (1 message, latest: Sep 09 2024 at 23:41)
Functional / Lean4 programmer for short term project (2 messages, latest: Aug 26 2024 at 03:17)
Senior / Lead LEAN Engineer (LLM / AI) Singapore/UK (1 message, latest: Aug 21 2024 at 04:38)
Postdoc Position in AI for Mathematics at Meta FAIR (1 message, latest: Aug 08 2024 at 18:32)
Applied Scientist at AWS, Neuron Compiler (1 message, latest: Aug 01 2024 at 14:09)
Join Huawei in Paris or London (24 messages, latest: Jul 31 2024 at 09:15)
Full-time: Singapore Lean Metaprogramming (1 message, latest: Jul 25 2024 at 14:33)
Postdoc: formalization of theory of distributed computing (1 message, latest: Jul 03 2024 at 22:58)
Tutoring (1 message, latest: May 10 2024 at 13:24)
remote student job OR on-site postdoc in Düsseldorf (3 messages, latest: Apr 29 2024 at 16:13)
Lean FRO: Principal Research Software Engineer (5 messages, latest: Apr 15 2024 at 15:38)
PhD and postdoc positions in PL/FM at NTU, Singapore (1 message, latest: Apr 10 2024 at 06:14)
Lecturer and Senior Lecturer/Reader positions at Bath (1 message, latest: Apr 03 2024 at 15:58)
Postdoc (Exeter, UK) on FM for Enterprise Systems (1 message, latest: Mar 28 2024 at 09:19)
Funded PhD Position: Formalizing Go(lang) in Isabelle/HOL (2 messages, latest: Mar 18 2024 at 17:13)
PhD position (Utrecht/Eindhoven, NL): ITPs for education (1 message, latest: Mar 18 2024 at 09:34)
Flexible Lean opportunities with Google DeepMind (7 messages, latest: Mar 10 2024 at 01:04)
Associate Professor Position in Mathematical Logic (1 message, latest: Mar 04 2024 at 16:29)
PhD position in Amsterdam, Netherlands (2 messages, latest: Mar 04 2024 at 14:56)
GSoC: Sage (1 message, latest: Feb 23 2024 at 18:08)
Google Summer of Code 2024: JSON Schema + Lean (1 message, latest: Feb 23 2024 at 14:31)
Postdoc position in formalization in Heidelberg (1 message, latest: Feb 23 2024 at 09:27)
Formal method R&D internship at Sandia Labs (2 messages, latest: Feb 14 2024 at 11:21)
PhD positions at Nottingham (2 messages, latest: Feb 09 2024 at 16:52)
Student Researcher Program at Google Deepmind (7 messages, latest: Feb 01 2024 at 20:34)
PhD position in France (1 message, latest: Jan 28 2024 at 20:14)
Lecturer/Senior lecturer job at Imperial College London (4 messages, latest: Jan 17 2024 at 18:12)
Lecturer in Computer Science RHUL Deadline 22 January (1 message, latest: Jan 12 2024 at 14:37)
summer internships at Aalto University, Finland (15 messages, latest: Jan 06 2024 at 20:24)
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)
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)
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: May 02 2025 at 03:31 UTC