Postdoc Category Theory, Computer Proof Assistants and Computer Algebra Systems

Postdoc Category Theory, Computer Proof Assistants and Computer Algebra Systems Delft University of Technology via AcademicTransfer Computer science » InformaticsComputer science » ProgrammingMathematics » AlgebraMathematics » Algorithms Postdoctoral research position on category theory, computer proof assistants, and computer algebra systems.Job descriptionComputer proof assistants and computer algebra systems have complementary strengths. A proof assistant checks each step of a mathematical argument against a formal foundation...