|
3-year engineering position in Deducteam, Inria Paris-Saclay, France
|
|
0
|
358
|
April 22, 2023
|
|
New Project - Implementing Haskell Curry's PhD Thesis on Combinatory Logic
|
|
0
|
315
|
April 21, 2023
|
|
Call for participation: ILDS Coq and Lean Autumn School 2023
|
|
0
|
335
|
April 13, 2023
|
|
Algebra Tactics 1.1.1 released
|
|
0
|
402
|
April 13, 2023
|
|
[ANN] Bignums release 9.0.0
|
|
0
|
267
|
March 20, 2023
|
|
PhD position at Inria / Nantes Université (France)
|
|
0
|
1068
|
March 4, 2023
|
|
[CUDW 2023] Coq Users and Developers Workshop - June 26 to 30 - Save the Date!
|
|
2
|
806
|
March 2, 2023
|
|
[ANN] coq-lsp release 0.1.5
|
|
0
|
580
|
February 15, 2023
|
|
Certified Elm web apps
|
|
2
|
758
|
February 2, 2023
|
|
MathComp 1.16.0 released
|
|
0
|
359
|
February 2, 2023
|
|
Volunteer co-maintainer needed for Docker-Coq
|
|
0
|
305
|
January 17, 2023
|
|
Coq Platform 2022.09.1 release with Coq 8.16.1
|
|
0
|
369
|
January 17, 2023
|
|
VsCoq 0.3.7 is out
|
|
0
|
457
|
January 11, 2023
|
|
Verification Jobs @ Cryspen (France/Germany)
|
|
0
|
500
|
January 11, 2023
|
|
Coq LSP release 0.1.2
|
|
1
|
440
|
January 9, 2023
|
|
Job offer - postdoc position in Inria Sophia Antipolis
|
|
1
|
408
|
January 3, 2023
|
|
MathComp Workshop and Winter School (Dec 5-9 2022) - last call
|
|
0
|
418
|
November 18, 2022
|
|
ProofGeneral release 4.5
|
|
1
|
543
|
November 15, 2022
|
|
PhD Position on Certified Extraction in Nantes
|
|
0
|
1116
|
September 8, 2020
|
|
Research internships at MPI
|
|
0
|
833
|
December 11, 2020
|
|
PhD position in HoTT/UF at TU Delft
|
|
0
|
650
|
June 7, 2021
|
|
Job opening: visiting research programmer, machine learning for Coq
|
|
0
|
655
|
March 12, 2022
|
|
PhD student position on proof theory and verification of legal software in Coq, Barcelona (Deadline: April 3rd, AoE)
|
|
0
|
612
|
March 29, 2022
|
|
Full-time positions in formalized mathematics at Düsseldorf
|
|
0
|
643
|
June 23, 2022
|
|
Two positions at the University of Bonn in the field of formal mathematics and computer assisted theorem proving
|
|
0
|
527
|
October 5, 2022
|
|
PhD/postdoc vacancy on the verification of cryptographic protocols at Aarhus University
|
|
0
|
382
|
October 12, 2022
|
|
Postdoc and Internship positions at IBM Research
|
|
0
|
642
|
October 14, 2022
|
|
Interval 4.6, now with decimal enclosures and floating-point rounding operators
|
|
0
|
304
|
October 27, 2022
|
|
MathComp Workshop and Winter School (Dec 5-9 2022) - second call
|
|
0
|
348
|
October 12, 2022
|
|
Coq Platform 2022.09.0 (including beta version for Coq 8.16.0 and a updated and extended package pick)
|
|
0
|
496
|
October 11, 2022
|