Find jobs in AI/ML, Data Science and Big Data
18 results
for Program analysis
(Skill/Tech stack)
-
Machine Learning Compiler Engineer (m/f/d) EUR 58K-75KC++ | Code generation | Compiler design | Deep learning | Intermediate representationSenior-level Full TimeMunich21h ago
-
Applied Scientist, Neuron ARG, Annapurna ML USD 171K-222KAccelerator design | Artificial Intelligence | Compiler design | Deep learning | Intermediate representation401k matching | Adoption and surrogacy reimbursement | Employee assistance program | Flexible spending accounts | Health insuranceMid-level Full TimeSeattle, Washington, USA7d ago
-
Senior Applied Scientist, Annapurna ML USD 192K-260KArtificial Intelligence | Compiler | Deep learning | Generative AI | Intermediate representation401k matching | Dental insurance | Employee assistance program | Flexible spending accounts | Health insuranceSenior-level Full TimeSeattle, Washington, USA7d ago
-
Machine Learning Compiler Engineer USD 175K-300KC++ | Deep learning | Deep learning frameworks | Intermediate representation | JIT CompilationSenior-level Full TimeSunnyvale7d ago
-
Senior Deep Learning Compiler Engineer - PyTorch PLN 292K-507KAbstract syntax tree | CUDA | Code generation | Compiler concepts | Distributed SystemsSenior-level Full TimeGermany, Berlin8d ago
-
Benchmarking | CI/CD | Cloud IDE | Code Analysis | Context engineeringEntry-level Full TimeSan Jose, California, United States9d ago
-
Senior Applied Scientist, AWS Science of Security USD 167K-226KCoq | Dafny | Formal verification | Haskell | IsabelleFlexible work hoursSenior-level Full TimePortland, Oregon, USA10d ago
-
Senior-level Full TimeSeattle, WA14d ago
-
Senior-level Full TimeRedmond, WA14d ago
-
Research Engineer, Machine Learning USD 120K-180KAutomatic Differentiation | C++ | Causal Inference | Deep learning | Distributed TrainingFlexible working hours | In-person collaboration | Multi-day in-person eventsSenior-level Full TimeNew York Office15d ago
-
Computer Scientist – Systems Security Research USD 95K-200KAFL | Assembly | C# | C++ | Compiler designMid-level Full TimeLexington, MA, United States20d ago
-
Senior Applied Scientist, AWS Science of Security USD 167K-248KDafny | Haskell | Kotlin | Lean | Mechanical theorem provingFlexible work hours | Paid time off | Parental leave | Work-life balanceSenior-level Full TimeSeattle, Washington, USA29d ago
-
Applied Scientist, AWS Science of Security USD 142K-223KMechanical theorem proving | Program analysis | Programming language | Programming language type systems | SAT401k matching | Adoption reimbursement | Dental insurance | EAP | Flexible spending accountsMid-level Full TimeSeattle, Washington, USA29d ago
-
Strategic Artificial Intelligence (AI) Engineer USD 97K-176KComputer Vision | Configuration Management | Cybersecurity | Language Processing | Machine LearningHybrid workMid-level Full TimeFort Meade, MD1mo ago
-
QBID Quantum Technology SME USD 200K-250KDefense Technology | Defense Technology Modernization | Program analysis | Quantum technologies | Requirements developmentEducation and training assistance | Healthcare benefits | Insurance programs | Paid leave | Retirement plansSenior-level Full TimeArlington, VA, United States1mo ago
-
Research Scientist, AI Verification GBP 255K-325KAI Reasoning | Agent Design | Automatic Program Analysis | Benchmarking | Data PipelinesMid-level Full TimeParis, France | London, UK1mo ago
-
Artificial Intelligence | Computer Vision | Cybersecurity | Data Science | DatabasesDual career support | Educational assistance | Health and wellness services | Internal funding | Relocation allowanceMid-level Full TimeAbu Dhabi1mo ago
-
Agent systems | Automated testing | C++ | Code generation | DebuggingAccess to real world datasets | International collaboration opportunities | Large scale computing resourcesEntry-level Full TimePisa, Italy1mo ago