-
research-grade proof-checking or verification software. Experience with proof assistants, automated reasoning, or reinforcement learning is desirable, as is a track record of scientific publication and
Searches related to software verification
Enter an email to receive alerts for software-verification positions