5 of 5 Static Code Analysis Jobs in the UK

Software Engineer - SPARK - Bath Reference Code: -en_GBContract Type: PermanentProfessional Communities: Software Engineering At Capgemini Engineering, the world leader in engineering services, we bring together a global team of engineers, scientists, and architects to help the world’s most innovative companies unleash their potential. From autonomous cars to life-saving robots, our digital and software technology experts think outside … projects deliver transformative improvements in operational efficiency and safety, earning high respect and trust from our customers. Your Profile Essential Background in Software Testing and/or Software development. Static code analysis experience or experience with Formal Methods( SPARK, ADA, Z language) Experience in working safety critical environment, particularly in the nuclear industry. Experience with Spark/… Desirable Degree qualified in software engineering or related/relevant subject. Experience in at least one of the following markets: aerospace, transport, defence, rail, automotive. Knowledge and experience in static analysis techniques If you're excited about this role but don’t meet every requirement, we still encourage you to apply, your unique experience could be just what More ❯

Who is Sonar? Sonar helps prevent code quality and code security issues from reaching production, amplifies developers' productivity in concert with AI assistants, and improves the developer experience with streamlined workflows. Sonar analyzes all code, regardless of who writes it - your internal team, genAI, or third parties - resulting in more secure, reliable, and maintainable applications. Rooted in … move forward quickly. And lastly, we are highly effective and operationally efficient . We operate collectively as One Team to accomplish our goals. Why You Should Apply: At Sonar, CODE is more than just an acronym - it's a mindset that defines daily operations. We're a group of brilliant, motivated, and driven professionals working hard to help supercharge … developers to build better, faster. Sonar helps to continuously improve code quality and code security while reducing developer toil. This means that developers can focus on doing more of what they love and less of what they don't. Our solutions don't just solve symptoms of problems - we help fix issues at the source - for all code More ❯

61508. Manage CI/CD pipelines and automated deployment across Software-in-the-Loop and Hardware-in-the-Loop systems. Develop performance and integration testing across simulation environments. Conduct code reviews, optimisation, and maintain high-quality software standards. Contribute to improvements in development processes, tools, and testing methodologies. Essential Experience: Degree in Computer Science, Electrical Engineering, or similar with … software testing for safety-critical systems. Strong understanding of Agile, Continuous Integration, and Test-Driven Development. Knowledge of test strategies, verification processes, and compliance with safety standards. Experience with static and dynamic code analysis tools. Desirable: Additional experience in infrastructure automation or performance optimisation. Familiarity with industry-standard code analysis and compliance tools. More ❯

between management, technical development/QA teams and Operations Discover and capitalize on automation opportunities that provide business value Experienced with large-scale CI/CD implementations and source code implementations Involve in troubleshooting activities to solve technical challenges Monitor progress on projects and provides technical direction as needed Develop effective working relationships with development teams both internal to … security hardening. Proven experience using AWS Cloud Solutions and services such as Ec2, S3, Lambda, EKS, API Gateway, ALB, API Gateway, Autoscaling etc In-depth knowledge in Infrastructure-as-code tools (such as Ansible, Terraform, etc.) Mandatory experience in creating automation framework using Ansible Strong in one or two Scripting and programming languages (such as Python/Perl, Groovy … systems in AWS cloud environment across multiple environments Experience with deploying, supporting and supervising new and existing services, platforms and application stacks Experience in defining quality gates (integrating SonarQube Static Code analysis, running Regression suites, etc.) In the delivery pipeline Understanding and experience with a variety of deployment approaches Knowledge of development concepts (REST, JSON, YML etc. More ❯

between management, technical development/QA teams and Operations Discover and capitalize on automation opportunities that provide business value Experienced with large-scale CI/CD implementations and source code implementations Involve in troubleshooting activities to solve technical challenges Monitor progress on projects and provides technical direction as needed Develop effective working relationships with development teams both internal to … security hardening. Proven experience using AWS Cloud Solutions and services such as Ec2, S3, Lambda, EKS, API Gateway, ALB, API Gateway, Autoscaling etc In-depth knowledge in Infrastructure-as-code tools (such as Ansible, Terraform, etc.) Mandatory experience in creating automation framework using Ansible Strong in one or two Scripting and programming languages (such as Python/Perl, Groovy … systems in AWS cloud environment across multiple environments Experience with deploying, supporting and supervising new and existing services, platforms and application stacks Experience in defining quality gates (integrating SonarQube Static Code analysis, running Regression suites, etc.) In the delivery pipeline Understanding and experience with a variety of deployment approaches Knowledge of development concepts (REST, JSON, YML etc. More ❯