1 computer-programmer-"https:"-"IDAEA-CSIC" "https:" PhD research jobs at University of Sheffield

Research Assistant/Research Associate (Fixed Term)

University of Sheffield | Sheffield, England | United Kingdom | 1 day ago

solvers, or the use of program synthesis, for example, for superoptimization. While we have a clear objective, the path towards this objective is flexible. All our work is developed in close collaboration