Find jobs in AI/ML, Data Science and Big Data
2 results
for Theorem Proving
(Skill/Tech stack)
-
Academic Writing | Data Analysis | Data collection | Experimental Design | Formal verificationFixed-term contractMid-level Full TimeUnited Kingdom6d ago
-
Senior Applied Scientist, AWS Science of Security USD 167K-226KAWS | Mechanical theorem proving | Privacy | Program analysis | Programming languageFlexible work hours | Work-life balanceSenior-level Full TimeArlington, Virginia, USA23d ago