- Experience in functional verification or digital hardware design and familiarity with formal methods (e.g. SVA, PSL, model checking, theorem proving)
- An engineering mentality and passion for digital design verification, a keen interest in processors and digital systems, and excellent attention to detail and reasoning skills
- Understanding of fundamental verification concepts, computer architecture, micro-architectural concepts
- Knowledge of hardware description and verification languages, such as VHDL, Verilog/SystemVerilog
- Ability to understand and map abstract formal concepts into designs
- Experience with industry-standard formal verification tools and model checking techniques.
- Understanding of the end-to-end verification processes, from test plan creation through to verification closure
- Proficiency in scripting languages, e.g. Python/Perl/TCL/shell
- Understanding of Arm architecture and instruction set
- Understanding of assume-guarantee reasoning, invariants and abstractions
Apply Now
- Work closely with the Project leads to create reports, understand the data and create actions.
- Manage the build, publication and maintenance of reports and dashboards in Power BI
- Design, develop and deliver data management solutions, including helping development of new technology initiatives
- Assist with the migration from legacy Excel reporting, SSRS to Power BI reporting platform
- Generate high quality ad-hoc reporting under time pressure
- Actively engage with stakeholders to ensure all reporting is up to date, accurate and relevant
- Gathering, clarifying and developing requirements with stakeholders of all seniority levels
- Maintaining a working knowledge of Modern Data Warehouse frameworks to be able to offer advice to clients on how and when to consider these technologies in support of their overall data strategies.
- Experience in Power BI design and development for creating insightful, interactive, and aesthetically pleasing reporting solutions
- Experience in Data Gateways and Administering a Power BI Tenancy
- Experience in rolling out Power BI across an organisation and assisting in the adoption process.
- Manage and maintain the creation, publishing, efficiency and security aspects of Power BI Reports
- Design and develop complex calculations in DAX which are accurate and perform efficiently on datasets
- Create custom charts, calculations and measures. Ability to use third party tools like DAX Studio, Tabular Editor, ALM Tool kit and Vertipaq Analyzer etc.
- Review existing Power BI Reports and Data Models to ensure optimal performance
- Design compelling Power BI visualisations which distil clear and accurate reporting metrics
- Strong analytical, evaluative, and critical thinking skills coupled with financial and commercial awareness
- Strong understanding of Power BI security features including Row Level Security (RLS)
- Managing the Power BI reports, datasets using the deployment pipelines in the premium capacity.
- Managing the settings at tenancy level in the Power BI Admin portal.
- Expert technical SQL skills to enable querying and understanding of the datasets.
- Cross-functional teamwork internally and with external clients
- Experience working with different Power BI Licensing environments
- Working in an Agile environment for product deliveries in sprints.
Apply Now
- 3+ years of project-proven verification experience.
- Experienced SystemVerilog/UVM developer:
- Block and integration-level
- Coverage-driven, self-checking verification environments from scratch
- High-level sequence-based stimulus
- Complex transaction-based checkers (e.g. scoreboards with data translation and ordering)
- Register models
- Specification level checks for several different protocols, e.g. AXI, DDRx, PCIe, USBx,CXL
- Verification planning:
- Requirements capture and traceability
- Estimation, prioritizing
- Metrics used to determine verification closure
- Ownership of work, from planning to implementation.
- Experience dealing directly with strict deadlines and technical challenges.
- Effective communication and collaboration with others.
- Experience with Version Control tools like git, gitlab
- Proficiency in scripting languages and utilities including Make Perl Python etc
Apply Now
- Design, implement, and maintain Infrastructure as Code (IaC) solutions using tools like Terraform or AWS CloudFormation to automate and scale our infrastructure for CI/CD
- Manage and maintain our AWS Elastic Kubernetes Service (EKS) clusters, ensuring high availability, performance, and security
- Set up, configure, and maintain CI/CD pipelines using CloudBees CI, Git, Gitlab, Gerrit Git, Jenkins, or other relevant tools to automate the software deployment process
- Work with Docker and Kubernetes to manage containerized applications and services on AWS and also using AWS container services
- Develop and maintain Groovy scripts for customizing and automating CI/CD pipelines and processes
- Support and manage and maintain Jenkins for Android SDK development team and other software and firmware development teams
- Integrate DevOps processes with Jira, Confluence, Code Collaborator, Jama, and other collaboration and project management tools to streamline workflows
- Implement and maintain reporting tools to provide insights into the DevOps pipeline, performance, and efficiency
- Develop and maintain automation hooks and triggers to ensure smooth interaction between different stages of the CI/CD pipeline
- Implement security best practices, including monitoring, logging, and access controls, to ensure a secure and compliant environment for software development teams
- Collaborate with software development teams, understanding the full Software Development Lifecycle (SDLC) and providing DevOps support at every stage
- Monitor system performance and respond to incidents, fine-tuning the environment for optimal performance
- Maintain and update documentation for infrastructure, deployment processes, and best practices
- Investigate and resolve technical issues and challenges as they arise
Apply Now
