Sort by
Refine Your Search
- 
                Category
 - 
                Country
 - 
                Employer
- FCiências.ID
 - Ghent University
 - Brandenburg University of Technology Cottbus-Senftenberg •
 - Brno University of Technology, Central European Institute of Technology
 - Delft University of Technology (TU Delft)
 - Delft University of Technology (TU Delft); Delft
 - Friedrich Schiller University Jena •
 - Max Planck Institute for the History of Science •
 - Norwegian Institute of International Affairs
 - Universiteit van Amsterdam
 - University of Amsterdam (UvA)
 - University of Amsterdam (UvA); yesterday published
 - 2 more »
 - « less
 
 - 
                Field
 
- 
                
                
                
23 Oct 2025 Job Information Organisation/Company FCiências.ID Research Field Mathematics » Mathematical logic Researcher Profile First Stage Researcher (R1) Positions Postdoc Positions Country
 - 
                
                
                
) Positions Postdoc Positions Country Portugal Application Deadline 31 Oct 2025 - 23:59 (Europe/Lisbon) Type of Contract Temporary Job Status Full-time Hours Per Week 35 Offer Starting Date 1 Dec 2025 Is the
 - 
                
                
                
and profile: Educational background: You should have a Master’s degree in mathematics or AI/computer science (with a strong mathematical component, including writing formal mathematical proofs), to be
 - 
                
                
                
and profile: Educational background: You should have a Master’s degree in mathematics or AI/computer science (with a strong mathematical component, including writing formal mathematical proofs), to be
 - 
                
                Brno University of Technology, Central European Institute of Technology | Czech | about 2 months ago
) Positions Postdoc Positions Country Czech Republic Application Deadline 21 Sep 2025 - 23:55 (Europe/Prague) Type of Contract Temporary Job Status Full-time Hours Per Week 40 Offer Starting Date 1 Oct 2025 Is
 - 
                
                
                
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
 - 
                
                
                
-of-the-art in AI and apply it to real-world software problems at our industrial partners: ASML and DCODIS (a start-up). This is technically challenging applied research with as main outcome a proof-of-concept
 - 
                
                
                
should have a Master’s degree in mathematics or AI/computer science (with a strong mathematical component, including writing formal mathematical proofs), to be completed before the start of the position
 - 
                
                
                
24 Sep 2025 Job Information Organisation/Company FCiências.ID Department HR Research Field Environmental science » Ecology Researcher Profile Recognised Researcher (R2) Positions Postdoc Positions
 - 
                
                
                
related subject. Language requirements Applicants must provide proof of adequate proficiency in English (exception: native speakers). Application deadline No specific deadline Submit application to E-mail