5 of 5 GCC Jobs in England

Senior/Principal Silicon Verification Engineer

Hiring Organisation
Jobleads-UK
Location
Cambridge, England, United Kingdom
verification process applied in CPU and/or ASIC environments System Verilog, Python, C++, Linux Desirable skills UVM SVA Assembly languages LLVM, GCC DVCS e.g. Git SGE or other DRMS XML and XPath/XSLT Web programming – HTML/DOM, Javascript, SQL Benefits In addition to a competitive salary, Graphcore ...

Design Verification Engineer - Flexible, Elite AI Hardware

Hiring Organisation
Jobleads-UK
Location
Bristol, England, United Kingdom
complex issues Experience of the verification process applied in CPU and/or ASIC environments System Verilog, Python, C++, Linux UVM SVA LLVM, GCC SGE or other DRMS XML and XPath/XSLT In addition to a competitive salary, you can expect flexible working, a generous annual leave policy, private ...

Senior Embedded Engineer

Hiring Organisation
Applause IT Recruitment Ltd
Location
Manchester, United Kingdom
Employment Type
Permanent
have experience with some of the following: Embedded Platforms ARM Cortex-M STM32 ESP32 NXP Kinetis FreeRTOS/RTOS environments Tools & Technologies Keil IAR GCC STM32CubeMX Altium Git/GitHub Azure DevOps Jira Communication Protocols SPI I2C UART USB Ethernet CAN Bus BLE WiFi TCP/IP What ...

Sales Engineer

Hiring Organisation
YT Technologies
Location
Hereford, Herefordshire, West Midlands, United Kingdom
Employment Type
Permanent
Salary
£45,000
understand client requirements, translating complex operational needs into tailored technical solutions. Sales & Lead Generation: Proactively generate and qualify new opportunities across Europe and the GCC, working in close alignment with the Director of Business Development and tracking progression within Salesforce. Product Demonstrations & Trials: Deliver compelling on-site and virtual demonstrations ...

Research Scientist, Verified Code Generation, DeepMind

Hiring Organisation
Jobleads-UK
Location
Greater London, England, United Kingdom
Lean, Coq, Isabelle, or similar). Preferred qualifications 2 years of experience with compiler infrastructure (Low Level Virtual Machine (LLVM) or GNU Compiler Collection (GCC)) or programming language formalization. 1 year of experience with large language models or machine learning for code or reasoning tasks. 1 year of experience ...