Sort by
Refine Your Search
-
from software error discovery to mitigation based on modern active learning. Job Description You will research the state-of-the-art in AI and apply it to real-world software problems at our industrial
-
Find2Fix will engineer the first open-source tool for the entire process from software error discovery to mitigation based on modern active learning. Job Description You will research the state
-
of control software, and reuse efforts from earlier stages as much as possible. On-the-fly Synthesis and Verification: We develop techniques for the online verification and synthesis of controllers
Searches related to software verification postdoc
Enter an email to receive alerts for software-verification-postdoc positions