Design-for-Test (DFT), Static Timing Analysis (STA), C, C++, Verilog, Xml, Low-power design principles, LINT, cdc, Logic Synthesis, 28nm and smaller silicon process technologies, systemverilog, Cadence tool flows, VHDL, Scan testability, formal verification

Test Automation, Lacp, Ipsec, Nat, BGP, Python Programming, Docker, Robot Framework, Vxlan, Pytest, Layer 3 OSPF, Containerized Network Validation, Layer 2 VLAN, PyATS, Traffic Testing Validation using IXIA, MacSec, Linux OS Scripting, Mpls, EVPN, Layer-3 Virtualization, STP, trex, Open SSL

JIRA, ALM, Test Architecture, Knowledge of medical device software development, Trace Matrix, Test automation frameworks, Agile Scrum development process, Stimulus and coverage metrics

Test Management, test automation, Xsd, Sql, Wsdl, Test Strategy, selenium, Database, System Testing, Json, Defect Management, Xml, Sit, jira, Zos, Test Planning, Jmeter, Integration Testing, Scrum, agile, Api Testing, xray, Pcc, database etl testing, playwright, triage, Validation, performance volume testing, Mentoring, powercurve collections, vision plus, Stakeholder Management, Estimation, Team Leadership

Microsoft Office, Familiarity with relevant international standards, Design review of power and desalination plants, Power plant systems and equipment, Thermodynamic Power Plant Cycle Analysis, Validation of specific calculation procedures

Tcl, Scripting, Shell, Perl, assertion-based verification, Uvm, regression frameworks, Functional Verification, systemverilog, coverage closure, formal verification, debug methodologies, automation using Python

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

UVM (Universal Verification Methodology, SVA (SystemVerilog Assertions, C, Systemc, C++, Shell, Tcl, Arm, Python, Pcie, Perl, systemverilog, UCIe, VC Formal, Verification Methodology, Hardware Emulation Platforms, Formal Model Equivalence Checking Tools, AMBA, MCU, RISC-V, formal verification, Axi

hydraulic modelling, InfoWorks ICM, Coding Automation, report-writing, Gis Software, model quality assurance, spreadsheet-based data analysis