Find jobs in AI/ML, Data Science and Big Data
2 results
for Program verification
(Skill/Tech stack)
-
Biostatistician USD 85K-156KClinical Data Analysis | Clinical data | Data Analysis | Experimental Design | Program verificationMedical coverage | Retirement savings plan | Tuition reimbursementEntry-level Full TimeUnited States - Alameda : Plaza …5d ago
-
2026 Fall Applied Science Internship - Automated Reasoning - United States, PhD Student Science Recruiting USD 142K-193KAbstract interpretation | Automated Reasoning | Boolean satisfiability | Bounded model-checking | Deductive verificationComputing Infrastructure | Mentorship | Relocation support | Research papersEntry-level Full Time InternshipSeattle, Washington, USA26d ago