-
background in formal verification, neural network verification, software testing or machine learning robustness. Proven research track record with publications in reputable conferences or journals. Ability
-
the correctness, robustness and reliability of deep neural networks and AI-enabled software systems. Job Responsibilities: Develop novel methods and algorithms for the verification, testing and robustness analysis
-
Qualifications PhD. required. Additional Qualifications Experience/interest in programming language, verification, artificial intelligence or machine learning. Individuals with a demonstrated track record in
Searches related to software verification
Enter an email to receive alerts for software-verification positions in computer-science