conformal lec , Clp, Perl, Python, Tcl, Fusion Compiler, Formality, LEC, MCMM methodologies, UPF, Cadence Genus, Synthesis, Synopsys Design Compiler, RTL-to-GDS, CPF, Low Power Verification

bedrock , S3, Machine Learning, Cloud Infrastructure, Tensorflow, API Design, Data Science, Lambda, Pandas, Pytorch, ECS, Python, AWS, Generative AI, Step Functions, scikit-learn, MLflow, EKS, SageMaker

Java, C, Python, SIMD vectorization, Cache-aware execution, Performance profiling, Parallel execution strategies, qemu, Benchmarking, Optimization

Golang, Node.js, Typescript, Distributed Systems, Kubernetes, Python, System observability, Containerized workloads, Cloud-native architectures, Infrastructure engineering, SRE practices, Resiliency design, ML GenAI applications

python, Microstation, pavement alignment, highway and development infrastructure design, digital workflows automation, Bentley ORD, drainage utilities, Civil cell

static timing analysis, Perl, Verilog, Python, Tcl, Rtl Design, Synthesis, Dft, ATPG, systemverilog

Java, Distributed Computing, BigQuery, Sql, Nosql, Docker, Elastic Search, Kubernetes, Python, GKE, Go, AKS, Microservices architecture, EKS, SingleStore, Serverless

AWS, Node.js, FastAPI, Python, Azure, Jira, Gcp, Multi-cloud AI platform architecture, AI Governance, Generative AI

Python, Rtos, Linux, Embedded software architecture, C/C++, AI development environments