Find jobs in AI/ML, Data Science and Big Data
1 result
for Mathematical logic
(Skill/Tech stack)
-
Senior Applied Scientist, AWS Science of Security USD 167K-226KCoq | Dafny | Formal verification | Haskell | IsabelleFlexible work hoursSenior-level Full TimePortland, Oregon, USA2d ago