26 to 34 of 34 Tcl Jobs in the East of England

Formal Verification Engineer

Hiring Organisation
ARM
Location
Cambridge, Cambridgeshire, UK
Employment Type
Full-time
into practical, effective design verification solutionsNice-to-have skills and experienceExperience with industry-standard formal verification toolsProficiency in scripting languages such as Python, Perl, Tcl, or ShellFamiliarity with the Arm architecture and AMBA protocolsKnowledge of sophisticated model-checking techniquesUnderstanding of assume-guarantee reasoning, invariants, and abstractionsAccommodations at ArmAt ...

Formal Verification Engineer

Location
Cambridge, England, United Kingdom
design verification solutions Nice-to-have skills and experience Experience with industry-standard formal verification tools Proficiency in scripting languages such as Python, Perl, Tcl, or Shell Familiarity with the Arm architecture and AMBA protocols Knowledge of sophisticated model-checking techniques Understanding of assume-guarantee reasoning, invariants, and abstractions Accommodations ...

Senior Formal Verification Engineer (CPU group)

Hiring Organisation
ARM
Location
Cambridge, Cambridgeshire, UK
Employment Type
Full-time
into practical, effective design verification solutionsNice-to-have skills and experienceExperience with industry-standard formal verification toolsProficiency in scripting languages such as Python, Perl, Tcl, or ShellFamiliarity with the Arm architecture and AMBA protocolsKnowledge of sophisticated model-checking techniquesUnderstanding of assume-guarantee reasoning, invariants, and abstractionsIn returnYou'll have ...

Senior Formal Verification Engineer (CPU group)

Location
Cambridge, England, United Kingdom
design verification solutions Nice‐to‐have skills and experience Experience with industry-standard formal verification tools Proficiency in scripting languages such as Python, Perl, Tcl, or Shell Familiarity with the Arm architecture and AMBA protocols Knowledge of sophisticated model-checking techniques Understanding of assume-guarantee reasoning, invariants, and abstractions ...

IC Verification Engineer

Location
Cambridge, England, United Kingdom
TrustZone or equivalent). Formal experience with Jasper or similar tools. Experience of Cadence simulation tool flow including gate-level simulation. Scripting languages: Bash, TCL, Make, YAML, etc. Location & Role Details The role is based in Cambridge with an expectation of full-time office attendance. Benefits Competitive salary based ...

Senior GPU Hardware Design Engineer

Hiring Organisation
Imagination Technologies Group
Location
Kings Langley, Hertfordshire, UK
Employment Type
Full-time
The roleThis is a unique opportunity to leverage your silicon design skills on cutting-edge technology. At Imagination Technologies, innovation is at the heart of everything we do. We create foundational building blocks for market ...

Staff GPU Hardware Design Engineer

Hiring Organisation
Imagination Technologies Group
Location
Kings Langley, Hertfordshire, UK
Employment Type
Full-time
The roleThis is a unique opportunity to leverage your silicon design skills on cutting-edge technology. At Imagination Technologies, innovation is at the heart of everything we do. We create foundational building blocks for market ...

Senior Verification Engineer (CPU group)

Hiring Organisation
ARM
Location
Cambridge, Cambridgeshire, UK
Employment Type
Full-time
Job Overview: This is a great opportunity for an experienced and highly motivated Senior Engineer to join Arm's CPU team in Cambridge. The role involves working on the next generation of CPU products. You ...

Physical Design Engineer

Location
Cambridgeshire and Peterborough, England, United Kingdom
area Analyse and resolve timing, congestion, power and DRC/LVS issues throughout the implementation cycle Develop and enhance automation, flows and methodologies using TCL, Python or Perl scripting Support design closure across advanced process technologies and contribute to best practices for future projects Collaborate with cross-functional teams … tools such as Innovus, ICC2, Fusion Compiler or equivalent Good understanding of timing closure, power optimisation and physical verification methodologies Strong scripting skills with TCL, Python or Perl This position offers the opportunity to work on industry-leading CPU technology, advanced process nodes and challenging technical problems within a highly ...