-
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
Enter an email to receive alerts for software-verification-"https:" positions