-
postdoc in our group, you will set up and lead this new research line, choosing its directions together with us. Possible starting points are the formalization in Lean of stability and error estimates
-
for establishing correctness with respect to formal specifications Engineering efficient implementations that make high-level abstractions practical We seek outstanding candidates working in programming languages
Searches related to error correction
Enter an email to receive alerts for error-correction positions