556 proof-checking-postdoc PhD positions

Sort by

Refine Your Search

  • UCL | London, England | United Kingdom | about 5 hours ago

    with the ARIA Safeguarded AI programme project “Data-Parallel Proof Checking for Monoidal Theories”, led by Professor Fabio Zanasi within the Programming Principles, Logic and Verification (PPLV

  • Ghent University | Portugal | about 4 hours ago

      →  Apply before 30/10/2026 (DD/MM/YYYY) 23:59 (Brussels Time) →  Faculty of Sciences →  Department: WE05 - Fysica en Sterrenkunde →  Occupancy rate:100% →  Number of positions: 1 →  Type of employment: Contract of unlimited duration with clause →  Term of assignment: 30 months →  Wage...

  • Utrecht University | Netherlands | about 2 hours ago

    Postdoc in Developmental Psychology Faculty:  Faculty of Social and Behavioural Sciences Department:  Psychology Hours per week:  28 to 40 Application deadline:  1 November 2026 Apply now This 2.5

  • Chalmers University of Technology | Gothenburg, Nebraska | United States | about 4 hours ago

    , otherwise the offer may be withdrawn.  What we offer   As a postdoc at Chalmers, you are an employee and enjoy all employee benefits. Read more about   working at Chalmers   and our  benefits   for

  • Max Planck Society | Oettingen in Bayern, Bayern | Germany | about 1 month ago

    data. Manage preferences for further information and to change your choices. Accept all cookies Reject optional cookies Skip to main content Max Planck Postdoc Program Employer Max Planck Society

  • Human Technopole | Tzab it adh, San Luis Potosí | Mexico | about 2 months ago

    data. Manage preferences for further information and to change your choices. Accept all cookies Reject optional cookies Skip to main content Postdoc in Digital Pathology Employer Human Technopole

  • EPFL | Lausanne, Canton de Vaud | Switzerland | 13 days ago

    18,500 people, including over 14,000 students and 4,000 researchers from more than 120 different countries. Postdoc in Cancer Neuroscience Mission Our laboratory develops and applies advanced

  • Aarhus University | Aarhus C, Region Midtjylland | Denmark | about 7 hours ago

    The Department of Public Health at Faculty of Health at Aarhus University invites applications for a position as Postdoc in the field of reproductive and molecular epidemiology as per 1 February 2027

  • University of Wisconsin Madison | Madison, Wisconsin | United States | 29 minutes ago

    University of Wisconsin-Madison The Research Training Group (RTG) in Mathematics & AI Synergies (MAIS): Algebra and Applications at the University of Wisconsin-Madison, funded by the NSF-DMS RTG program, seeks applicants for up to two 3-year postdoctoral positions. The RTG-MAIS is dedicated to...

  • Radboud University | Netherlands | about 5 hours ago

    Employment 1.0 FTE Gross monthly salary € 3,706 - € 5,760 Required background PhD Organizational unit Faculty of Science Application deadline 14 October 2026 Apply now Join an ambitious interdisciplinary research project exploring some of the most profound questions in modern science. As part of...

Enter an email to receive alerts for proof-checking-postdoc positions