2 proof-checking-postdoc PhD positions at Delft University of Technology (TU Delft)

PhD Position Discrete Mathematics: Extremal Problems in Finite Geometry

Delft University of Technology (TU Delft) | Netherlands | 7 days ago

spectral graph theory. The PhD will be supervised by Anurag Bishnoi.You will have the opportunity to collaborate with Postdocs, PhD candidates, and other faculty members of the research group. You will also

PhD Position Find2Fix: Reducing Software Errors Using Transparant AI

Delft University of Technology (TU Delft) | Netherlands | 3 months ago

partners: ASML and DCODIS (a start-up). This is technically challenging applied research with as main outcome a proof-of-concept tool that allows developers to quickly find and fix software errors including