Find jobs in AI/ML, Data Science and Big Data
8 results
for Formal Methods
(Skill/Tech stack)
-
AI Analyst USD 125K-187KAgentic AI | Artificial Intelligence | Caffe | Data Analysis | Deep learning401k match | Dental insurance | Disability insurance | Flexible spending account | Flexible work scheduleMid-level Full TimeUSA, Chantilly, 15020 Conference Center Drive, …1d ago
-
Artificial Intelligence | CI/CD | Cypher | Databases | Formal Methods30 vacation days | Doctoral network participation | Flexible working hours | Free seminars | Remote workEntry-level Full TimeWolfsburg, DE, 384365d ago
-
Project Officer/Research Associate/Research Fellow (Computer Science/Mathematics/Statistics) SGD 60K-78KAlgorithms | Bayesian statistics | Deep learning | Formal Methods | Language ModelsConference and seminar participation | Research funding support | Teaching opportunityNone Full TimeNTU Main Campus, Singapore6d ago
-
Associate Embedded Software Quality Engineer USD 79K-130KAgile Scrum | Automated Test | Automated Test Vector Generation | Bash | BluetoothMid-level Full TimeNew York, United States6d ago
-
Embedded Software Quality Associate Engineer USD 64K-129KAgile Scrum | Bluetooth | CAN | CI/CD | Continuous integrationMid-level Full TimeNew York, United States6d ago
-
Research Scientist or Postdoctoral Associate in Formal Methods for Security and Machine Learning USD 60K-70KCryptography | Formal Methods | GPU Programming | High Performance | High-Performance ComputingFull-time benefitsMid-level Full TimeUMass Lowell, UMass Lowell8d ago
-
Tenure/Tenure-Track Faculty Computer Science Fall 2026 USD 145K-325KAlgorithms | Computational Biology | Cryptography | Data Management | Data MiningStartup packageMid-level Full TimeNew York, NY1mo ago
-
Agentic tool use | Data collection | Dataset creation | Diffusion Models | Fine TuningMid-level Full TimeFoster City, CA1mo ago