Date posted
Commute time
Locations
Type of Company
Job types
Salaries
Locations
Filters
)
Large Scale Solar Electrician
Large Scale Solar Electrician
Astute Technical Recruitment Ltd
Reading (RG1)
£38000.00 - £48000.00 per annum + Van, fuel card, bonus & more
Astute's Renewables team is very proudly partnered with a huge player in the global solar market. We have a focus on the UK market for them and we're actively looking for a Solar Technician / Field Solar Engineer to join the team. The client delivers varying services, from O&M to full design and system integration. This position is field based and we're looking for a Solar Technician / Solar Engineer with a basic salary of up to £48,000 and you'd also receive a hugely impressive benefits package. Large scale / utility scale solar experience is key in achieving the top end of the salary bracket. If you're a Solar Technician or Solar Engineer looking to work for a key organisation in the market, then submit your CV to apply today. Responsibilities and duties of the Field Solar Engineer role * Planned and reactive works across a variety of ground mount solar assets
Astute's Renewables team is very proudly partnered with a huge player in the global solar market. We have a focus on the UK market for them and we're actively looking for a Solar Technician / Field Solar Engineer to join the team. The client delivers varying services, from O&M to full design and system integration. This position is field based and we're looking for a Solar Technician / Solar Engineer with a basic salary of up to £48,000 and you'd also receive a hugely impressive benefits package. Large scale / utility scale solar experience is key in achieving the top end of the salary bracket. If you're a Solar Technician or Solar Engineer looking to work for a key organisation in the market, then submit your CV to apply today. Responsibilities and duties of the Field Solar Engineer role * Planned and reactive works across a variety of ground mount solar assets
)
Senior Software Engineer C#
Senior Software Engineer C#
Luxion Group Limited
Eastleigh, Hampshire
Circa £56k + Up to 15% Discretionary Bonus Scheme
C#, .NET Core, API's RESTful Services, JSON, Docker, GIT (Bitbucket), OOP, SOLID, Cloud deployment and microservices, NoSQL and Oracle (SQL PL/SQL), AWS & Azure
C#, .NET Core, API's RESTful Services, JSON, Docker, GIT (Bitbucket), OOP, SOLID, Cloud deployment and microservices, NoSQL and Oracle (SQL PL/SQL), AWS & Azure
10 exact matches jobs are outside your preferred location
)
Associate Director, Engineering (Education)
Associate Director, Engineering (Education)
IRIS Recruitment
Slough (SL3)
Competitive plus bonus and benefits
Ensure scalable, API-first, cloud-native platform design * Strong understanding of DevOps, SRE, API architecture and AI integration
Ensure scalable, API-first, cloud-native platform design * Strong understanding of DevOps, SRE, API architecture and AI integration
FEATURED
This is a hands-on quality engineering role responsible for designing, executing, and maintaining automated and manual tests for backend and API-driven systems in a financial services environment. * Working knowledge of test automation frameworks and tools (e.g., API automation, backend test frameworks, or UI automation where applicable).
This is a hands-on quality engineering role responsible for designing, executing, and maintaining automated and manual tests for backend and API-driven systems in a financial services environment. * Working knowledge of test automation frameworks and tools (e.g., API automation, backend test frameworks, or UI automation where applicable).
Design, develop, and maintain automated test frameworks for digital asset platforms, with a strong focus on API and backend testing
Design, develop, and maintain automated test frameworks for digital asset platforms, with a strong focus on API and backend testing
)
API / EEMUA certifications - desirable
API / EEMUA certifications - desirable
)
The organisation's website operates on a headless architecture using Contentful CMS, with the front-end hosted on Vercel, and integrates with CRM, analytics, and internal systems through API-driven services. * Design and implement API-driven integrations between core systems including CRM, website platforms, marketing tools, analytics environments, and internal databases, ensuring systems operate as a connected digital ecosystem. * Experience building API-driven integrations between enterprise platforms including CRM systems, web platforms, marketing systems, and analytics environments.
The organisation's website operates on a headless architecture using Contentful CMS, with the front-end hosted on Vercel, and integrates with CRM, analytics, and internal systems through API-driven services. * Design and implement API-driven integrations between core systems including CRM, website platforms, marketing tools, analytics environments, and internal databases, ensuring systems operate as a connected digital ecosystem. * Experience building API-driven integrations between enterprise platforms including CRM systems, web platforms, marketing systems, and analytics environments.
PREMIUM
)
Product Management - Private markets, Charles River Development, Assistant Vice President
Product Management - Private markets, Charles River Development, Assistant Vice President
State Street Corporation
London
Competitive
Define and deliver the roadmap for horizontal platform capabilities serving all private markets asset classes including core data services, cross-fund analytics, workflow automation, and API infrastructure. * Familiarity with data architecture concepts: data modeling, ETL pipelines, API design, and event-driven systems. * Experience with API-first product design and developer experience (DX) programs.
Define and deliver the roadmap for horizontal platform capabilities serving all private markets asset classes including core data services, cross-fund analytics, workflow automation, and API infrastructure. * Familiarity with data architecture concepts: data modeling, ETL pipelines, API design, and event-driven systems. * Experience with API-first product design and developer experience (DX) programs.
)
Freshfields is undergoing an exciting period of digital transformation, and we are looking for an Innovation Engineer to help us accelerate it. This is a high-impact, hands-on role for someone who loves to build, experiment, and turn innovative ideas into working solutions that make a meaningful difference across our global firm. Working within our Innovation team, you will rapidly prototype, develop, and iterate new tools, workflows, and AI-powered solutions helping our people work smarter, faster, and more effectively. If you thrive in fast-moving environments, enjoy collaborating across teams, and have a passion for creating real, usable technology, wed love to hear from you. Working at Freshfields - Youll join a fast-paced, globally connected team focused on shaping the future of legal work. We work in a hybrid model, collaborating with colleagues across time zones, and ...
Freshfields is undergoing an exciting period of digital transformation, and we are looking for an Innovation Engineer to help us accelerate it. This is a high-impact, hands-on role for someone who loves to build, experiment, and turn innovative ideas into working solutions that make a meaningful difference across our global firm. Working within our Innovation team, you will rapidly prototype, develop, and iterate new tools, workflows, and AI-powered solutions helping our people work smarter, faster, and more effectively. If you thrive in fast-moving environments, enjoy collaborating across teams, and have a passion for creating real, usable technology, wed love to hear from you. Working at Freshfields - Youll join a fast-paced, globally connected team focused on shaping the future of legal work. We work in a hybrid model, collaborating with colleagues across time zones, and ...
)
Position Overview - Job Title Lead Engineer - Location London - Corporate Title Vice President - You will play a key role in the transformation of Rates and Credit Fixed Income technology landscape. As part of our multi-year platform modernisation project, you will be responsible for building a suite of new, real-time, high-performance applications supporting various trading workflows. You will be involved in architecting solutions across the stack, encouraging best practices and working closely with Business stakeholders to build a maintainable, operationally efficient and scalable platform to last the next decade. What well offer you - A healthy, engaged and well-supported workforce are better equipped to do their best work and, more importantly, enjoy their lives inside and outside the workplace. Thats why we are committed to providing an environment with your development and ...
Position Overview - Job Title Lead Engineer - Location London - Corporate Title Vice President - You will play a key role in the transformation of Rates and Credit Fixed Income technology landscape. As part of our multi-year platform modernisation project, you will be responsible for building a suite of new, real-time, high-performance applications supporting various trading workflows. You will be involved in architecting solutions across the stack, encouraging best practices and working closely with Business stakeholders to build a maintainable, operationally efficient and scalable platform to last the next decade. What well offer you - A healthy, engaged and well-supported workforce are better equipped to do their best work and, more importantly, enjoy their lives inside and outside the workplace. Thats why we are committed to providing an environment with your development and ...
Additional Experience: Experience with microservices architecture and API management.
Additional Experience: Experience with microservices architecture and API management.
)
At Ping Identity, we believe in making digital experiences both secure and seamless for all users, without compromise. We call this digital freedom. And it's not just something we provide our customers. It's something that inspires our company. People don't come here to join a culture that's built on digital freedom. They come to cultivate it. Our intelligent, cloud identity platform lets people shop, work, bank, and interact wherever and however they want. Without friction. Without fear. While protecting digital identities is at the core of our technology, protecting individual identities is at the core of our culture. We champion every identity. One of our core values, Respect Individuality, reminds us to celebrate differences so you are empowered to bring your authentic self to work. We're headquartered in Denver, Colorado and we have offices and employees around the globe.
At Ping Identity, we believe in making digital experiences both secure and seamless for all users, without compromise. We call this digital freedom. And it's not just something we provide our customers. It's something that inspires our company. People don't come here to join a culture that's built on digital freedom. They come to cultivate it. Our intelligent, cloud identity platform lets people shop, work, bank, and interact wherever and however they want. Without friction. Without fear. While protecting digital identities is at the core of our technology, protecting individual identities is at the core of our culture. We champion every identity. One of our core values, Respect Individuality, reminds us to celebrate differences so you are empowered to bring your authentic self to work. We're headquartered in Denver, Colorado and we have offices and employees around the globe.
These jobs might also interest you
)
This is a fantastic opportunity to join a high-profile programme delivery team, working on a critical automation workstream that ensures creators and rights holders are compensated for their work. In this role, you wont just be building flows; you will be a key technical authority within the Robotic Process Automation (RPA) workstream, responsible for developing robust automations that support the backbone of the music ecosystem. You will work with cutting-edge technology, integrating intelligent automation capabilities (such as Machine Learning, OCR, and NLP) into scalable workflows. * Development:Design, develop, and implement enterprise-grade automations usingPower Automate(cloud flows, desktop flows/RPA, and combined workflows). * Testing & Quality:Lead System Integration Testing (SIT) and User Acceptance Testing (UAT), ensuring automations are robust, ...
This is a fantastic opportunity to join a high-profile programme delivery team, working on a critical automation workstream that ensures creators and rights holders are compensated for their work. In this role, you wont just be building flows; you will be a key technical authority within the Robotic Process Automation (RPA) workstream, responsible for developing robust automations that support the backbone of the music ecosystem. You will work with cutting-edge technology, integrating intelligent automation capabilities (such as Machine Learning, OCR, and NLP) into scalable workflows. * Development:Design, develop, and implement enterprise-grade automations usingPower Automate(cloud flows, desktop flows/RPA, and combined workflows). * Testing & Quality:Lead System Integration Testing (SIT) and User Acceptance Testing (UAT), ensuring automations are robust, ...
)
Senior Solutions Engineer
Senior Solutions Engineer
SCALERS GROUP LIMITED
The City, City of London (EC2), EC3V
From £80,000 to £90,000 per annum
Were looking for a Senior Solution Engineer, ideally with SaaS or Payments background to contribute towards ambitious growth plans across EMEA. * Communicate with C-suite and senior leaders across commercial and tech to support them in building incredible experiences for their customers * Lead technical discovery and solution design for global enterprises with complex requirements. UK, Remote - Scalers HQ is proud to be partnering with an innovative SaaS FinTech & Payments business in the UK. The SaaS platform our client has built takes away a lot of pain points of payment fragmentation. This is an exciting time to join our FinTech partner, and youll join a scaling a team that are rapidly growing. Responsibilities * Writing integration plans and sample code for sellers to assist them in implementing their own personalised integration * Mentor new & junior members
Were looking for a Senior Solution Engineer, ideally with SaaS or Payments background to contribute towards ambitious growth plans across EMEA. * Communicate with C-suite and senior leaders across commercial and tech to support them in building incredible experiences for their customers * Lead technical discovery and solution design for global enterprises with complex requirements. UK, Remote - Scalers HQ is proud to be partnering with an innovative SaaS FinTech & Payments business in the UK. The SaaS platform our client has built takes away a lot of pain points of payment fragmentation. This is an exciting time to join our FinTech partner, and youll join a scaling a team that are rapidly growing. Responsibilities * Writing integration plans and sample code for sellers to assist them in implementing their own personalised integration * Mentor new & junior members
Lead, Software & Platform Engineering We are seeking an experienced Lead Product Engineer to join our team in London. Technical leadership: Guide and mentor the engineering team, making key technical decisions and providing a strategic framework and detailed technical guidance covering architectural patterns, tactical design patterns, best practices, and a clear implementation process. Product development: Lead the technology assessment for new products/features, influencing design decisions to manage risks and develop mitigation plans. Lead AI integration: Work with leadership to implement the company's long-term AI strategy, identifying practical use cases for AI and translating product goals into actionable technical tasks. Lead the design, development, and deployment of AI-enhanced software solutions and oversee the integration of AI capabilities into products and workflows.
Lead, Software & Platform Engineering We are seeking an experienced Lead Product Engineer to join our team in London. Technical leadership: Guide and mentor the engineering team, making key technical decisions and providing a strategic framework and detailed technical guidance covering architectural patterns, tactical design patterns, best practices, and a clear implementation process. Product development: Lead the technology assessment for new products/features, influencing design decisions to manage risks and develop mitigation plans. Lead AI integration: Work with leadership to implement the company's long-term AI strategy, identifying practical use cases for AI and translating product goals into actionable technical tasks. Lead the design, development, and deployment of AI-enhanced software solutions and oversee the integration of AI capabilities into products and workflows.
The successful candidate for the Engineer, Post Trade role, will be working with the Director Technical Delivery Solution and Delivery, will form part of a team building a complex, ground-up cloud-based critical market infrastructure service in a bold new venture for LSEG. Role Profile - This opening requires a candidate who takes great pride in delivering excellence with excellent logical and technical skills and a can-do attitude combined with a helpful mentality, and a wish to play a critical role in forming and growing a new business. Key Responsibilities - A strong focus on engineering excellence and coding, adopting an open and hands-on approach to problem-solving and delivery. Engage deeply in technical design and implementation to ensure solutions are robust, scalable, and aligned with industry standards.
The successful candidate for the Engineer, Post Trade role, will be working with the Director Technical Delivery Solution and Delivery, will form part of a team building a complex, ground-up cloud-based critical market infrastructure service in a bold new venture for LSEG. Role Profile - This opening requires a candidate who takes great pride in delivering excellence with excellent logical and technical skills and a can-do attitude combined with a helpful mentality, and a wish to play a critical role in forming and growing a new business. Key Responsibilities - A strong focus on engineering excellence and coding, adopting an open and hands-on approach to problem-solving and delivery. Engage deeply in technical design and implementation to ensure solutions are robust, scalable, and aligned with industry standards.
Deliver clear, conclusive evidence through System Integration, Verification & Validation (IV&V) activities. As a Systems Engineering / IV&V Lead, you will be responsible for driving verification and validation across complex hardware, software and firmware-based systems. * Lead assurance of Systems Engineering activities, including in-process verification and validation. Systems Engineering / IV&V Lead - From engineering systems that save lives to leading programmes that shape the future battlespace - find your place in the next generation of defence innovation. This role sits at the heart of delivering secure, high-integrity systems for critical defence programmes. * Ensure system correctness and completeness from requirements to final acceptance. * Drive improvements in Systems Engineering and IV&V tools, methods and processes. * Mentor and coach engineers and non-technical staff in IV&V principles.
Deliver clear, conclusive evidence through System Integration, Verification & Validation (IV&V) activities. As a Systems Engineering / IV&V Lead, you will be responsible for driving verification and validation across complex hardware, software and firmware-based systems. * Lead assurance of Systems Engineering activities, including in-process verification and validation. Systems Engineering / IV&V Lead - From engineering systems that save lives to leading programmes that shape the future battlespace - find your place in the next generation of defence innovation. This role sits at the heart of delivering secure, high-integrity systems for critical defence programmes. * Ensure system correctness and completeness from requirements to final acceptance. * Drive improvements in Systems Engineering and IV&V tools, methods and processes. * Mentor and coach engineers and non-technical staff in IV&V principles.
)
We're looking for a hard-working, creative and motivated SoC design engineer to join the team developing sophisticated processing systems that are used across multiple lines of business ranging from IoT, Automotive to Infrastructure computing. Are you an RTL design engineer who would love a wider exposure across multiple IP products? As a creative design engineer with a knowledge of subsystems and SoCs you will be part of a team integrating IPs and developing logic for subsystems. Our design engineers must all at once predict it and create it. Your key responsibilities will include understanding incoming IPs, their functionality, interfaces and interworking with various subsystem and SoC components, developing subsystem microarchitecture specifications and RTL, proposing refinements to IP teams based on system-level integration and usage, running various ...
We're looking for a hard-working, creative and motivated SoC design engineer to join the team developing sophisticated processing systems that are used across multiple lines of business ranging from IoT, Automotive to Infrastructure computing. Are you an RTL design engineer who would love a wider exposure across multiple IP products? As a creative design engineer with a knowledge of subsystems and SoCs you will be part of a team integrating IPs and developing logic for subsystems. Our design engineers must all at once predict it and create it. Your key responsibilities will include understanding incoming IPs, their functionality, interfaces and interworking with various subsystem and SoC components, developing subsystem microarchitecture specifications and RTL, proposing refinements to IP teams based on system-level integration and usage, running various ...
)
C++ Lead / Engineering Manager - Systematic Trading
C++ Lead / Engineering Manager - Systematic Trading
McGregor Boyall Associates Limited
City of London (EC1)
£150000 - £275000 per annum
A leading systematic trading environment is looking to hire a hands-on C++ Engineering Manager to work on business-critical trading systems in a live market environment. This role is suited to someone operating at lead or manager level who still enjoys being close to the code. * Lead the design and development of core trading and execution systems in modern C++ * Strong hands-on C++ engineering experience in Linux-based trading environments - Location: London or Amsterdam - Industry: Systematic Trading / Hedge Funds - Work model: Hybrid - The focus is on building and improving low-latency, production trading systems across systematic trading, automated trading, and execution. You will work closely with traders, quants, and engineers to deliver robust technology with direct impact on trading performance. * Build and enhance low-latency infrastructure used across systematic trading and execution
A leading systematic trading environment is looking to hire a hands-on C++ Engineering Manager to work on business-critical trading systems in a live market environment. This role is suited to someone operating at lead or manager level who still enjoys being close to the code. * Lead the design and development of core trading and execution systems in modern C++ * Strong hands-on C++ engineering experience in Linux-based trading environments - Location: London or Amsterdam - Industry: Systematic Trading / Hedge Funds - Work model: Hybrid - The focus is on building and improving low-latency, production trading systems across systematic trading, automated trading, and execution. You will work closely with traders, quants, and engineers to deliver robust technology with direct impact on trading performance. * Build and enhance low-latency infrastructure used across systematic trading and execution
FEATURED
)
The silicon verification engineer is responsible for verification activities within Graphcore, helping the team meet the company objectives for quality silicon delivery. The verification team sits within the Silicon design team and is responsible for ensuring that the RTL created by the logical design team and used by the physical design team matches the architecture specification for Graphcore silicon. * Verification planning, specification and closure of functional coverage * Contributing to shared verification infrastructure Verification experience in relevant industry - Experience of the verification process applied in CPU and/or ASIC environments - About Graphcore - At Graphcore, were building the future of AI compute. Were a team of semiconductor, software and AI experts, with deep experience in creating the complete AI compute stack - from silicon and software to infrastructure at ...
The silicon verification engineer is responsible for verification activities within Graphcore, helping the team meet the company objectives for quality silicon delivery. The verification team sits within the Silicon design team and is responsible for ensuring that the RTL created by the logical design team and used by the physical design team matches the architecture specification for Graphcore silicon. * Verification planning, specification and closure of functional coverage * Contributing to shared verification infrastructure Verification experience in relevant industry - Experience of the verification process applied in CPU and/or ASIC environments - About Graphcore - At Graphcore, were building the future of AI compute. Were a team of semiconductor, software and AI experts, with deep experience in creating the complete AI compute stack - from silicon and software to infrastructure at ...
As a Director, Performance Engineering, you will lead the charge in protecting and elevating the worlds most established low-latency, high-throughput market data and news distribution system for LSEG. You will build and lead a world-class Performance Engineering function responsible for the performance, capacity, scalability, efficiency, and resiliency of real-time services. * Build and lead the Performance Engineering team for one of the worlds highest-scale, lowest-latency market data systems. * 15+ years of experience in high-scale, real-time engineering environments (preferably financial services, exchanges, trading, or market data). Your team will partner closely with SRE, RT Platform Tools & Automation, Architecture, Product Engineering squads, and Ops Excellence to ensure our RT workloads consistently meet stringent latency, throughput, jitter, and concurrency expectations under all conditions.
As a Director, Performance Engineering, you will lead the charge in protecting and elevating the worlds most established low-latency, high-throughput market data and news distribution system for LSEG. You will build and lead a world-class Performance Engineering function responsible for the performance, capacity, scalability, efficiency, and resiliency of real-time services. * Build and lead the Performance Engineering team for one of the worlds highest-scale, lowest-latency market data systems. * 15+ years of experience in high-scale, real-time engineering environments (preferably financial services, exchanges, trading, or market data). Your team will partner closely with SRE, RT Platform Tools & Automation, Architecture, Product Engineering squads, and Ops Excellence to ensure our RT workloads consistently meet stringent latency, throughput, jitter, and concurrency expectations under all conditions.
Staff Systems Performance Analysis Engineer * Eager to expand into building SoC platforms for performance analysis? Arms System-on-Chip (SoC) Performance Analysis Team in Central Technology Group builds early Performance analysis platforms to enable system technology exploration on future Arm System/SoC architecture. Using workload characterization and analysis, we influence future SoC, CPU and IP designs. We are seeking highly skilled and motivated performance analysis engineers to join our diverse team at Arm! * You will run experiments on a pre-Silicon SoC environment analyzing performance of the different Arm components (CPU, GPU, etc) using real world workloads. * You will bring up these use cases and understand their behavior in SoC environment. * Experience enabling workloads and benchmarks on RTL Emulation and Simulation environments
Staff Systems Performance Analysis Engineer * Eager to expand into building SoC platforms for performance analysis? Arms System-on-Chip (SoC) Performance Analysis Team in Central Technology Group builds early Performance analysis platforms to enable system technology exploration on future Arm System/SoC architecture. Using workload characterization and analysis, we influence future SoC, CPU and IP designs. We are seeking highly skilled and motivated performance analysis engineers to join our diverse team at Arm! * You will run experiments on a pre-Silicon SoC environment analyzing performance of the different Arm components (CPU, GPU, etc) using real world workloads. * You will bring up these use cases and understand their behavior in SoC environment. * Experience enabling workloads and benchmarks on RTL Emulation and Simulation environments
)
We are excited to announce an opportunity for a highly skilled and experienced Principal Faade Engineer to join our growing and dynamic team. As a Principal Faade Engineer, you will play a pivotal role in shaping the success of our projects, team, and business. * Mentoring a group of engineers, empowering them to reach their potential and develop their skills and knowledge. * Overseeing the professional development of engineers, including appraisals, chartership, and other key management tasks to support the teams growth. Job Description - Start here. Grow here. This role is ideal for a visionary leader who thrives in delivering innovative engineering solutions, mentoring talented professionals, and driving business growth through strategic initiatives. * Leading the delivery of a significant portfolio of national and international projects across various sectors, ensuring a balance of quality, ...
We are excited to announce an opportunity for a highly skilled and experienced Principal Faade Engineer to join our growing and dynamic team. As a Principal Faade Engineer, you will play a pivotal role in shaping the success of our projects, team, and business. * Mentoring a group of engineers, empowering them to reach their potential and develop their skills and knowledge. * Overseeing the professional development of engineers, including appraisals, chartership, and other key management tasks to support the teams growth. Job Description - Start here. Grow here. This role is ideal for a visionary leader who thrives in delivering innovative engineering solutions, mentoring talented professionals, and driving business growth through strategic initiatives. * Leading the delivery of a significant portfolio of national and international projects across various sectors, ensuring a balance of quality, ...
)
As a member of the Datapath Formal Verification team, you will collaborate with Apple Silicon's design engineers to develop formal micro-architecture specifications for mathematically intensive components. The Datapath Formal Verification team mathematically proves the correctness of Apple Silicon's arithmetic and datapath logic from floating-point units to complex data transformation pipelines eliminating entire classes of bugs before silicon is fabricated. * Create and execute comprehensive formal verification plans for datapath components - We are looking for engineers who combine rigorous mathematical thinking with practical problem-solving. Full training is provided in hardware design, computer arithmetic, and formal verification tooling; what we need is the ability to construct and critically examine rigorous proofs, and the curiosity to push the boundaries ...
As a member of the Datapath Formal Verification team, you will collaborate with Apple Silicon's design engineers to develop formal micro-architecture specifications for mathematically intensive components. The Datapath Formal Verification team mathematically proves the correctness of Apple Silicon's arithmetic and datapath logic from floating-point units to complex data transformation pipelines eliminating entire classes of bugs before silicon is fabricated. * Create and execute comprehensive formal verification plans for datapath components - We are looking for engineers who combine rigorous mathematical thinking with practical problem-solving. Full training is provided in hardware design, computer arithmetic, and formal verification tooling; what we need is the ability to construct and critically examine rigorous proofs, and the curiosity to push the boundaries ...