Sort by
Refine Your Search
- 
                Listed
- 
                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