Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Tallinn University of Technology
- Delft University of Technology (TU Delft)
- National University of Science and Technology POLITEHNICA Bucharest
- Delft University of Technology (TU Delft); Delft
- Binghamton University
- Colorado State University
- Cranfield University
- Delft University of Technology (TU Delft); today published
- Inria, the French national research institute for the digital sciences
- Instituto Politécnico de Bragança
- National Renewable Energy Laboratory NREL
- Texas A&M AgriLife
- The University of Manchester
- University of Amsterdam (UvA)
- University of Southern Denmark
- Warsaw University of Technology - Centre for Credible AI
- 6 more »
- « less
-
Field
-
Computer Science, Mathematics, or related areas. • Strong background in at least one of the following: formal methods, SMT solving, abstract interpretation, or model checking. • Experience with verification tools
-
Inria, the French national research institute for the digital sciences | Toulouse, Midi Pyrenees | France | 1 day ago
2 Dec 2025 Job Information Organisation/Company Inria, the French national research institute for the digital sciences Research Field Computer science Mathematics Researcher Profile First Stage
-
status. The candidates have to prove the graduation of bachelor in Computer Science and master degree in Electronics and Telecommunications domain. Selection process 10.11.2025-12.11.2025- submission
-
6 Nov 2025 Job Information Organisation/Company National University of Science and Technology POLITEHNICA Bucharest Department AIoT On-Board Localization System for UAVs in GPS-Denied or Unreliable
-
25 Sep 2025 Job Information Organisation/Company National University of Science and Technology POLITEHNICA Bucharest Research Field Engineering » Communication engineering Engineering » Computer
-
10 Nov 2025 Job Information Organisation/Company Instituto Politécnico de Bragança Department Gabinete de Apoio a Projetos Research Field Computer science » Programming Researcher Profile First
-
12 Nov 2025 Job Information Organisation/Company Delft University of Technology (TU Delft) Research Field Engineering » Computer engineering Engineering » Electrical engineering Researcher Profile
-
30 Oct 2025 Job Information Organisation/Company Warsaw University of Technology - Centre for Credible AI Research Field Computer science Researcher Profile First Stage Researcher (R1) Positions PhD
-
limitations —driven to explore solutions that go beyond what verification alone can achieve. This PhD project focuses on developing analysis and program repair techniques that enhance software interoperability
-
students. Beyond their talent, these classmates share a desire to shape the future through technology, insight, intellectual exploration, and community service. Job Description: The First-year Research