-
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 scientific computing
Enter an email to receive alerts for scientific-computing positions