Find jobs in AI/ML, Data Science and Big Data
10 results
for Formal Methods
(Skill/Tech stack)
-
Senior Software Engineer, Machine Learning Platform USD 187K-265KBazel | CD pipelines | CI/CD | CI/CD pipelines | CNNDental insurance | Employee discounts | Matching 401k | Medical insurance | Paid time offSenior-level Full TimeUnited States, San Diego, CA4d ago
-
Postdoc Positions in Computer Science (Formal Methods) DKK 433K-433KComputational Complexity | Distributed Systems | Formal Methods | Logic | Programming LanguagesMentoring | Professional development opportunities | Research collaboration opportunitiesEntry-level Full TimeOdense M, Denmark13d ago
-
PhD Positions in Computer Science (Formal Methods) DKK 433K-433KComputer Security | Distributed Systems | Formal Methods | Logic | Programming LanguagesInternational working environment | Mentoring | Research collaboration | Self organizer time registration exemptionEntry-level Full TimeOdense M, Denmark18d ago
-
Research Engineer, Code RL (Reinforcement Learning) USD 500K-850KAsync Programming | CUDA | Code verification | Concurrent programming | Distributed TrainingFlexible working hours | Generous vacation | Parental leaveMid-level Full TimeSan Francisco, CA | New York …18d 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, 3843625d 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, Singapore26d ago
-
Associate Embedded Software Quality Engineer USD 79K-130KAgile Scrum | Automated Test | Automated Test Vector Generation | Bash | BluetoothMid-level Full TimeNew York, United States26d ago
-
Embedded Software Quality Associate Engineer USD 64K-129KAgile Scrum | Bluetooth | CAN | CI/CD | Continuous integrationMid-level Full TimeNew York, United States26d 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 Lowell28d 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