Find jobs in AI/ML, Data Science and Big Data
5 results
for Formal Methods
(Skill/Tech stack)
-
Automated Reasoning | Automated theorem proving | Bandit Algorithms | Complexity analysis | Concentration InequalitiesEducational assistance for dependents | Educational subsidy for children | Health and wellness services | Housing subsidy | Relocation allowanceMid-level Full TimeAbu Dhabi19d ago
-
Computer Scientist – Systems Security Research USD 95K-200KAFL | Assembly | C# | C++ | Compiler designMid-level Full TimeLexington, MA, United States22d ago
-
Tenure-track Faculty positions in Computer Science: Cybersecurity, Privacy and AI Safety 2027-2028 EUR 42K-47KAI alignment | AI interpretability | AI robustness | Adversarial Machine Learning | CalibrationAdditional private health insurance discount | Conference travel support | Equipment support | Income tax reduction | Public health services accessMid-level Full TimeMadrid and Segovia24d ago
-
Principal Compiler Engineer – Quantum Software - 880 JPY 8000K-10473KCircuit compilation | Code generation | Compiler design | Correctness | Distributed SystemsSenior-level Full TimeJapan Tokyo1mo ago
-
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, CA1mo ago