Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Employer
-
Inria, the French national research institute for the digital sciences | Paris 15, le de France | France | 26 days ago
3 Oct 2025 Job Information Organisation/Company Inria, the French national research institute for the digital sciences Research Field Computer science Researcher Profile Recognised Researcher (R2
-
mechanising theory and/or practice of computer science in proof assistants. Fluency in English is required. Questions? Curious to learn more about the position and environment? Please feel free to reach out
-
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
-
3 Oct 2025 Job Information Organisation/Company KU LEUVEN Research Field Computer science » Modelling tools Computer science » Informatics Mathematics » Mathematical logic Researcher Profile
-
16 Sep 2025 Job Information Organisation/Company Delft University of Technology (TU Delft) Research Field Computer science » Cybernetics Computer science » Programming Researcher Profile First Stage
-
errors using behavioral models learned from software. You will extend fuzzing technology by learning such models in real-time and using them to: guide the fuzzer, discover logical faults, and pin-point
-
at the Department of Informatics. Starting date no later than December 1, 2025. The fellowship period is three years. A fourth year maybe considered and it will involve 25 percent of other career-promoting work