Find jobs in AI/ML, Data Science and Big Data
14 results
for Formal Methods
(Skill/Tech stack)
-
Automated theorem proving | Concentration Inequalities | Deep learning | Formal Methods | Formal verificationEducational assistance for dependents | Educational subsidy for children | Health and wellness services | Housing subsidy | Relocation allowanceEntry-level Full TimeAbu Dhabi, UAE1d ago
-
ADA | ARM | ARMv8 | BSP | BootloaderBenefits | EquitySenior-level Full TimeUS, CA, Santa Clara6d ago
-
Principal Compiler Engineer – Quantum Software - 880 JPY 8000K-10473KCircuit compilation | Code generation | Compiler design | Correctness | Distributed SystemsSenior-level Full TimeJapan Tokyo13d ago
-
Artificial Intelligence | C# | C++ | Compiler Construction | Constraint ProgrammingMid-level Full TimeParis, France17d ago
-
Barrier functions | C++ | Constraint Enforcement | Control Theory | Control barrier functionsAccommodation during recruitment | Hybrid workingMid-level Full TimeLocation Austin, Texas21d 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, CA25d 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, Denmark1mo 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, Denmark1mo 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 …1mo 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, 384361mo 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, Singapore1mo ago
-
Associate Embedded Software Quality Engineer USD 79K-130KAgile Scrum | Automated Test | Automated Test Vector Generation | Bash | BluetoothMid-level Full TimeNew York, United States1mo ago
-
Embedded Software Quality Associate Engineer USD 64K-129KAgile Scrum | Bluetooth | CAN | CI/CD | Continuous integrationMid-level Full TimeNew York, United States1mo 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 Lowell1mo ago