-
) publications in international, (double-blind) peer-reviewed, high-impact journals, as well as submissions which are under review in current journals; Your research engages with or complements the research agenda
-
an answer,but also a machine-verifiable proof (or certificate) of correctness. However, a major limitation of current techniques is that correctness isnot proven relative to the human-understandable
Enter an email to receive alerts for postdoc-electrical "https:" positions