
Search by job, company or skills
Showing 9 jobs
Skills:
Java, Apis, Microservices, Typescript, Javascript, Debugging, Containers, Code Review, Python, AI Development Lifecycle, modernization, DevOps practices, Documentation, Go, cloud platforms, AI coding assistants, prompt engineering, Problem-solving, test generation, cloud transformation, refactoring, AI for code generation
Skills:
Scripting Languages, Debugging Tools, formal verification, model checking, systemverilog, Uvm, Static Analysis, Rtl Design, Verification Planning, coverage analysis
Skills:
Large Language Models (LLMs), Designing and deploying AI solutions, Regulatory compliance related to artificial intelligence, Cross-functional collaboration, Python Programming Language, AI ethics frameworks
Skills:
Sklearn, Python, AWS, Sql, Gcp, Containers, Azure, NL2SQL pipelines, embeddings, Pipelines, structured outputs, model registry, chatbots, LangChain, experiment tracking, tool function calling, LLMs, Forecasting, feature pipelines, analytics agents, drift monitoring, RAG, CI/CD, statsmodels, LlamaIndex
Skills:
C++, Oracle Database, Design Patterns, Maven, PostgreSQL, Faircom, Spring Boot, Shell Scripting, Multithreading, Sql, Git, Gradle, Core Java, PL/SQL, Concurrent Programming, System Design, Rest Apis, Spring Framework, DevOps practices, c-treeDB, Object-Oriented Design, CI/CD pipelines, Linux/Unix administration
Skills:
asp.net web api , .NET, react.js , C#, Data Factory, Microservices, Terraform, App Services, Python, Ml, SQL Server, Functions, Restful Apis, Arm, Devops Tools, Kubernetes, Ocr, Infrastructure as Code, Bicep, PDF document processing, NoSQL databases, Ai, Azure PaaS services, CI/CD pipelines
Skills:
C, Github, Bmc, Python, Gcc, on-chip memory interfaces, SoC interfaces, make, NVME Controllers, doxygen, AMBA AHB interfaces, PCIe-Express Gen-3 and above, DDR Controllers, PCIe Controllers
Skills:
model checking, Logical Equivalence Checking, formal verification, Advanced Computer Architecture, Micro-architecture Concepts, PSL, SVA, systemverilog
Skills:
Python, Jasper VC, Formal Questa, Formal 360-DV, Formal verification tools
