149 Methods Engineer jobs in the United Kingdom

CONSTRUCTION METHODS ENGINEER - CONTRACT SURREY

To be considered for the role, candidates must be eligible to work in the UK without sponsorship.

Our Client, a global leader in engineering and constructing major projects for the energy and infrastructure sectors, both offshore and onshore, is currently looking for a Construction Methods Engineer to join the team in Surrey.

EDUCATION, EXPERIENCE & SK.

Who are we?

IOG, is a technology company focused on blockchain research and development. We are renowned for our scientific approach to blockchain development, emphasizing peer-reviewed research and formal methods to ensure security, scalability, and  sustainability. Our projects include the Cardano blockchain, as well as other products in the areas of decentralized finance (DeFi), governance, and identity management, aiming to advance the capabilities and adoption of blockchain and Web3 technology globally.

What the role involves:

As a Formal Methods Engineer at IO you act as a bridge between product,  research, architecture, and development. You will develop formal artifacts as early as possible in the development process that grow with the project and continue to provide impact throughout into the late stages. You will develop and iteratively refine specifications, working towards high quality designs, prototypes and practical implementations. Your work will form part of the day-to-day quality assurance of production system development. In some projects, critical steps will be tested, or proven using appropriate formal frameworks and tools. In other projects, the expected performance of the resulting system will be modeled, so that the impact of design decisions on performance and stability can be assessed early on. Based on this process, you will provide feedback to the researchers. Finally, based on their specifications, designs, simulations and/or prototypes, you will advise and assist other development teams to implement and integrate their work into production systems.

You will participate in knowledge sharing and continuous learning through interactions with Formal Methods Engineers  across the company and more broadly with researchers and engineers as well.

• Build formal artifacts from research and architectural guidance, and business and engineering requirements.
• Model the performance of formally specified systems
• Produce prototypes and simulations
• Refine specifications, using the performance models and simulations to gauge the impact of design decisions during refinements
• Discover new properties about the specifications and their implications
• Prove properties of the specifications and of the correctness of refinement steps
• Communicate with both researchers and developers, and act as a bridge between the two: you will provide feedback to researchers about issues that come up when their work is incorporated into real world systems. You will assist developers in understanding your specifications and in turning them into production code
• Report on your work, in the form of blog posts, technical report documents, presentations at internal seminars, as well as at workshops and conferences, and/or by contributing to academic papers
• Participate in code reviews
• Contribute property-based tests, both for testing properties of the executable specifications/prototypes, and for verifying production code against the executable specifications
• Contribute to the implementation, extension, and maintenance of custom static analysis tooling
• Work in an international team across multiple time zones
• Break down large and complex tasks assigned to you into workable items, and work on them independently
• Share specialized knowledge with other team members

Requirements

Who you are:

• A higher degree in Computer Science or a related field
• A minimum of 2-3 years of experience in a functional language, preferably Haskell
• A minimum of 2-3 years of experience in a dependent-typed language, preferably Agda
• Experience working and collaborating with Git
• Experience with one or more formal methods 
• Experience in one or more of the domains we are working in -- networking, distributed systems, programming language design, blockchain applications -- would be a bonus.
• Demonstrated ability to work on difficult problems in a self-driven way
• Deep thinking, problem solving 
• Ability to understand and translate complex ideas and break them down simply for yourself and others 
• Software engineering skills
• Bridge between research and engineers 
• Translate and reshape information for the software engineers to understand properly 
• Telling researchers when there is a discrepancy - feedback to research
• Be able to receive input from researchers, thoroughly understand and translate information into final code 
• Continuously brings fresh ideas to the mix
• Be versatile and enjoy a fast-paced, ever-changing environment
• Be a savvy problem solver

Benefits

• Remote work
• Laptop reimbursement
• New starter package to buy hardware essentials (headphones, monitor, etc)
• Learning & Development opportunities
• Competitive PTO 

At IOG, we are committed to fostering a diverse and inclusive workplace where all individuals are valued and empowered to succeed. We welcome people of all backgrounds and ensure that employment decisions are based solely on merit, qualifications, and potential. Everyone is given equal opportunities regardless of race, color, religion, national origin, gender, gender identity, sexual orientation, age, marital status, veteran status, disability, or any other characteristic protected by law.

Who are we?

IOHK, is a technology company focused on Blockchain research and development. We are renowned for our scientific approach to blockchain development, emphasizing peer-reviewed research and formal methods to ensure security, scalability, and sustainability. Our projects include decentralized finance (DeFi), governance, and identity management, aiming to advance the capabilities and adoption of blockchain technology globally.

We invest in the unknown, applying our curiosity and desire for positive change to everything we do. By fueling creativity, innovation, and progress within our teams, our products and services are designed for people to be fearless, to be changemakers.

What the role involves:

As a Formal Methods Engineer in Djed, you act as a bridge between product,  research, architecture, and development. You will develop formal artifacts as early as possible in the development process that grow with the project and continue to provide impact throughout into the late stages. You will develop and iteratively refine specifications, working towards high quality designs, prototypes and practical implementations. Your work will form part of the day-to-day quality assurance of production system development. In some projects, critical steps will be tested, or proven using appropriate formal frameworks and tools. In other projects, the expected performance of the resulting system will be modeled, so that the impact of design decisions on performance and stability can be assessed early on. Based on this process, you will provide feedback to the researchers. Finally, based on their specifications, designs, simulations and/or prototypes, you will advise and assist other development teams to implement and integrate their work into production systems.

As a member of the Formal Methods Chapter you will participate in knowledge sharing and continuous learning through interactions with Formal Methods Engineers  across the company and more broadly with researchers and engineers as well.

• Build formal artifacts from research and architectural guidance, and business and engineering requirements.
• Model the performance of formally specified systems
• Produce prototypes and simulations
• Refine specifications, using the performance models and simulations to gauge the impact of design decisions during refinements
• Discover new properties about the specifications and their implications
• Prove properties of the specifications and of the correctness of refinement steps
• Communicate with both researchers and developers, and act as a bridge between the two: you will provide feedback to researchers about issues that come up when their work is incorporated into real world systems. You will assist developers in understanding your specifications and in turning them into production code
• Report on your work, in the form of blog posts, technical report documents, presentations at internal seminars, as well as at workshops and conferences, and/or by contributing to academic papers
• Participate in code reviews
• Contribute property-based tests, both for testing properties of the executable specifications/prototypes, and for verifying production code against the executable specifications
• Contribute to the implementation, extension, and maintenance of custom static analysis tooling
• Work in an international team across multiple time zones
• Break down large and complex tasks assigned to you into workable items, and work on them independently
• Share specialized knowledge with other team members
• You are able to complete challenging tasks with little help. You are able to collaborate effectively on joint tasks as needed, providing technical leadership as needed. 
• You are able to work together with internal and external groups on strategic problems.

Requirements

Who you are:

• A higher degree in Computer Science or a related field
• A minimum of 3-5 years of experience in a functional language, preferably Haskell
• Experience working and collaborating with Git
• Experience with one or more formal methods 
• Experience in one or more of the domains we are working in -- networking, distributed systems, programming language design, blockchain applications -- would be a bonus.
• Deep thinking, problem solving 
• Ability to understand and translate complex ideas and break them down simply for yourself and others 
• Solid software engineering skills
• Bridge between research and engineers 
• Translate and reshape information for the software engineers to understand properly 
• Telling researchers when there is a discrepancy - feedback to research
• Broad understanding of FM multiple techniques
• Broad understanding of wider context of current project, IOG, industry.
• Be able to receive input from researchers, thoroughly understand and translate information into final code 
• Continuously brings fresh ideas to the mix and driving their adoption
• Be versatile and enjoy a fast-paced, ever-changing environment
• Be a savvy problem solver
• Ability to explain complex concepts in documents and presentations
• Can spot opportunities to strengthen requirements/guarantees.
• Seeks out feedback from team members and shares knowledge across projects.
• Values diverse thoughts, encourages participation.
• Builds credibility and trust with internal and external stakeholders.
• Demonstrated ability to work on difficult problems in a self-driven way

Are you an IOGer?

Do you find yourself questioning the status quo? Do you tinker with ideas and long to turn those ideas into solutions? Are you able to spark thoughtful debates, bringing out the inquisitiveness in others? Does the promise of continuously growing excite you? Then get ready to reimagine everything you thought wasn’t possible because that’s what it means to be an IOGer - we don’t set limits, we break them. 

Benefits

• Remote work
• Laptop reimbursement
• New starter package to buy hardware essentials (headphones, monitor, etc)
• Learning & Development opportunities
• Competitive PTO 

At IOG, we value diversity and always treat all employees and job applicants based on merit, qualifications, competence, and talent. We do not discriminate on the basis of race, religion, color, national origin, gender, sexual orientation, age, marital status, veteran status, or disability status.

Summary

We are seeking a highly skilled Formal Methods Engineer, specializing in security and threat analysis. Upon joining Djed, you will be working on stablecoin and future products, whilst maintaining high quality standards and best practices within the Djed team.

The ideal candidate will have a deep understanding of Plutus smart contracts and the Cardano blockchain. As a Formal Methods  Engineer, you will play a crucial role in ensuring the safety and security of our smart contracts by assisting in writing Plutus smart contract requirements, performing safety and threat analysis on specifications, and writing/reviewing the appropriate tests necessary to show conformity of a smart contract implementation with the specification.   

Your mission

• Assist in writing Plutus smart contract requirements.
• Perform safety and threat analysis on specifications.
• Identify all potential failure modes and ensure that they are properly covered by appropriate mitigations.
• Ensure that at least one property (i.e., to be formally proved or tested), establishing the non-occurrence of an identified failure mode, has been specified.
• Ensure that all identified attack vectors are offset by appropriate security mitigations unless justifications about the unlikelihood of the attacks are clearly stated.
• Perform code review of Plutus smart contract implementation in either PlutusTx or Plutarch.
• Write property-based testing to demonstrate conformity of implementation with the specification.
• Ensure the correctness of Plutus libraries (both imported or implemented).
• Participate in the elaboration/maintenance of formal models showing correctness of specifications.
• Collaborate with software architects and engineers to analyze and refine software requirements, ensuring they are clear, complete, and verifiable.
• Collaborate with cross-functional teams, including software developers, system engineers, and domain experts, to ensure the successful application of formal methods.
• Provide guidance and mentorship to junior engineers and team members in the application of formal methods.
• Maintain detailed documentation of formal methods, processes, findings, and verification results.
• Effective communication skills, including the ability to explain complex formal concepts and findings to both technical and non-technical stakeholders.

Requirements

• Understanding of Plutus smart contracts and the Cardano blockchain.

• Proven experience in requirement elicitation.
• Strong understanding of safety and threat analysis methodologies.
• Strong critical thinking skills to challenge specifications.
• Ability to identify and mitigate security vulnerabilities.
• Experience with property-based testing.
• Excellent problem-solving and analytical skills.
• Strong communication and collaboration skills.
• Ability to communicate complex technical concepts effectively.
• Strong organizational and time management skills.
• Attention to detail and ability to work in a fast-paced environment.
• Degree in computer science, threat analysis, mathematics or a related field or equivalent experience.

Your expertise

• Proven experience in negotiating and challenging requirements and specifications using techniques such as safety and threat analysis.
• Strong experience in writing unambiguous and observable properties.
• Experience with functional programming languages, particularly Haskell.
• Experience in writing/analyzing Plutus smart contracts in either PlutusTx or PlutArch.
• Previous experience in blockchain and smart contracts security.
• Familiarity with formal verification techniques.
• Understanding of discrete mathematics and formal logics.
• Contributions to open-source projects related to blockchain technology.
• Experience with Github.
• Good understanding of QuickCheck and property-based testing.

Bonus points

• Advanced degree (Phd or Master’s) in computer science, threat analysis, mathematics or a related field.
• Experience in formal verification techniques such as symbolic model checking, SAT/SMT solvers and theorem proving.
• Experience in writing formal specifications of complex systems.

Why Join Us

If you are passionate about blockchain security and have the skills and experience to excel in this role, we encourage you to apply and join our team. We look forward to hearing from you!

Benefits

• Remote work

• Laptop reimbursement
• New starter package to buy hardware essentials (headphones, monitor, etc)
• Learning & Development opportunities
• Competitive PTO

At IOG, we value diversity and always treat all employees and job applicants based on merit, qualifications, competence, and talent. We do not discriminate on the basis of race, religion, color, national origin, gender, sexual orientation, age, marital status, veteran status, or disability status.

Summary:

IOG's Midnight Tribe is looking for a Formal Methods Engineer to join our team. In this role you will help revolutionize our state-of-the-art data protection-based blockchain platform. If you are passionate about formal methods, excited about creating software that meets the highest standards of reliability and security, and ready to contribute to the future of technology, we want to hear from you!

About Midnight:

IOG's Midnight Tribe is a business technology provider and core contributor to the Midnight Network, a blockchain platform for developing decentralized applications that safeguard personal and commercial data. The Midnight Network is the first blockchain to offer programmable data isolation by leveraging zero-knowledge (ZK) proofs to enable selective disclosure of what information is visible on-chain and is designed to help developers implement necessary business policies, such as meeting regulatory requirements.

Your Role:

As a Formal Methods Engineer at Midnight, you will be a vital member of our engineering team, responsible for applying formal methods techniques to verify and validate software systems. Your contributions will be crucial in the development of highly reliable and safety-critical software, ensuring strict adherence to industry standards and regulations.

Key Duties:

• Apply formal methods, including Agda modelling and proofs, model checking, theorem proving, and abstract interpretation, to verify the correctness, safety, and security of software systems.
• Collaborate with software architects and engineers to analyse and refine software requirements, ensuring they are clear, complete, and verifiable.
• Develop formal specifications and models of software systems, including safety and security properties.
• Utilize model checking tools and techniques to verify software against formal specifications, identifying and resolving issues.
• Employ theorem proving tools and techniques to formally prove the correctness of software and safety properties.
• Generate test cases from formal models and specifications to supplement formal verification efforts.
• Maintain detailed documentation of formal methods, processes, findings, and verification results.
• Collaborate with cross-functional teams, including software developers, system engineers, and domain experts, to ensure the successful application of formal methods.
• Provide guidance and mentorship to junior engineers and team members in the application of formal methods.

Key Competencies:

• Critical and creative thinking to assess the applicability of formal methods to various software engineering challenges and adapt formal techniques to specific problems.
• Strong mathematical skills, particularly in areas such as logic, discrete mathematics, and formal logic.
• Effective communication skills, including the ability to explain complex formal concepts and findings to both technical and non-technical stakeholders.
• Collaboration with cross-functional teams to integrate formal methods into the software development process.

Requirements

• Bachelor's, Master's, or Ph.D. in Computer Science, Maths, or a related field.
• Working knowledge of Agda.
• Proven experience in the application of formal methods to verify and validate complex software systems, particularly in safety-critical domains.
• Strong knowledge of software development processes, software architecture, and system design.
• Experience working and collaborating with Git.

If you are excited about making a difference in the world of technology and data protection, and if you have a passion for formal methods and software verification, we encourage you to apply. Be part of our team and help build a secure and privacy-focused future.

Benefits

• Flexible schedule
• Remote work
• Laptop reimbursement
• New starter package to buy hardware essentials (headphones, monitor, etc)
• Learning & Development opportunities
• Competitive PTO 
• Medical Benefits

At IOG, we value diversity and always treat all employees and job applicants based on merit, qualifications, competence, and talent. We do not discriminate on the basis of race, religion, color, national origin, gender, sexual orientation, age, marital status, veteran status, or disability status.

Specialist FEA Tools & Methods Engineer - Formula 1

Are you ready to push the limits of engineering in one of the most competitive environments in the world?
We're supporting a leading Formula 1 team in the search for a Specialist FEA Tools & Methods Engineer to drive innovation in structural analysis and performance optimisation.

This is a unique opportunity to shape how FEA is developed and applied at the cutting edge of motorsport, collaborating with some of the brightest minds in the industry.

You will play a central role within the Structural Design team, developing advanced methodologies, workflows, and tools to maximise the structural performance of an F1 car. Working closely with HPC, CFD, and Software Development teams, you will:

• Research, test, and implement new technologies and cost-reduction opportunities.

• Collaborate with data scientists to enhance insights into track and lab test data.

• Automate workflows and develop bespoke tools and plug-ins to advance simulation capabilities.

• Champion FEA software tools, developing deep expertise to overcome limitations and improve performance.

• Contribute to a large codebase and support the wider structural analysis community within the team.

• Strong expertise in Finite Element Analysis (FEA) , with experience in solver development, process automation, or applied FEA.

• Excellent programming skills in object-oriented languages (e.g. Python, VBA, Matlab).

• Proven experience using industry-leading simulation packages; knowledge of Abaqus and Altair Hyperworks/Optistruct is highly desirable.

• A solid mathematical background and the ability to apply advanced analysis techniques.

• Track record of applying simulation tools in industrial applications.

• A proactive problem-solver with curiosity and creativity.

• A collaborative team player who can also work independently with minimal supervision.

• Strong communicator with the ability to share knowledge and guide others.

• Resilient under pressure, able to deliver to tight deadlines in a fast-paced environment.

• Enthusiastic, driven, and adaptable to change.

This is your chance to join a world-class Formula 1 organisation where ingenuity, energy, and passion drive everything we do. You'll play a key part in shaping the future of FEA methods and structural performance, helping deliver the most exciting and inspiring results on track.

Specialist FEA Tools & Methods Engineer - Formula 1

Are you ready to push the limits of engineering in one of the most competitive environments in the world?
We're supporting a leading Formula 1 team in the search for a Specialist FEA Tools & Methods Engineer to drive innovation in structural analysis and performance optimisation.

This is a unique opportunity to shape how FEA is developed and applied at the cutting edge of motorsport, collaborating with some of the brightest minds in the industry.

You will play a central role within the Structural Design team, developing advanced methodologies, workflows, and tools to maximise the structural performance of an F1 car. Working closely with HPC, CFD, and Software Development teams, you will:

• Research, test, and implement new technologies and cost-reduction opportunities.

• Collaborate with data scientists to enhance insights into track and lab test data.

• Automate workflows and develop bespoke tools and plug-ins to advance simulation capabilities.

• Champion FEA software tools, developing deep expertise to overcome limitations and improve performance.

• Contribute to a large codebase and support the wider structural analysis community within the team.

• Strong expertise in Finite Element Analysis (FEA) , with experience in solver development, process automation, or applied FEA.

• Excellent programming skills in object-oriented languages (e.g. Python, VBA, Matlab).

• Proven experience using industry-leading simulation packages; knowledge of Abaqus and Altair Hyperworks/Optistruct is highly desirable.

• A solid mathematical background and the ability to apply advanced analysis techniques.

• Track record of applying simulation tools in industrial applications.

• A proactive problem-solver with curiosity and creativity.

• A collaborative team player who can also work independently with minimal supervision.

• Strong communicator with the ability to share knowledge and guide others.

• Resilient under pressure, able to deliver to tight deadlines in a fast-paced environment.

• Enthusiastic, driven, and adaptable to change.

This is your chance to join a world-class Formula 1 organisation where ingenuity, energy, and passion drive everything we do. You'll play a key part in shaping the future of FEA methods and structural performance, helping deliver the most exciting and inspiring results on track.

Who are we?

IOHK, is a technology company focused on Blockchain research and development. We are renowned for our scientific approach to blockchain development, emphasizing peer-reviewed research and formal methods to ensure security, scalability, and sustainability. Our projects include decentralized finance (DeFi), governance, and identity management, aiming to advance the capabilities and adoption of blockchain technology globally.

We invest in the unknown, applying our curiosity and desire for positive change to everything we do. By fueling creativity, innovation, and progress within our teams, our products and services are designed for people to be fearless, to be changemakers.

What the role involves:

As a Formal Methods Engineer at IO Engineering you act as a bridge between product,  research & development, architecture, and development. You will develop formal artifacts as early as possible in the development process that grow with the project and continue to provide impact throughout into the late stages. You will develop and iteratively refine specifications, working towards high quality designs, prototypes and practical implementations. Your work will form part of the day-to-day quality assurance of production system development. In some projects, critical steps will be tested, or proven using appropriate formal frameworks and tools. In other projects, the expected performance of the resulting system will be modeled, so that the impact of design decisions on performance and stability can be assessed early on. Based on this process, you will provide feedback to the researchers. Finally, based on their specifications, designs, simulations and/or prototypes, you will advise and assist other development teams to implement and integrate their work into production systems.

In this role, you will be instrumental in ensuring the safety and security of our smart contracts. Key responsibilities include:

• Writing Plutus smart contract requirements
• Performing safety and threat analyses on specifications
• Designing and reviewing tests to verify compliance between smart contract implementations and their specifications
• Contributing to formal proofs that confirm adherence of implementations to defined properties, guaranteeing correctness and reliability.
• Build formal artifacts from research & development and architectural guidance, and business and engineering requirements.
• Model the performance of formally specified systems.
• Produce prototypes and simulations.
• Refine specifications, using the performance models and simulations to gauge the impact of design decisions during refinements.
• Discover new properties about the specifications and their implications.
• Prove properties of the specifications and of the correctness of refinement steps.
• Act as a bridge between researchers & development and developers by translating formal specifications into real-world applications, providing feedback on challenges encountered in implementation.
• Contribute to team-wide knowledge sharing through documentation, technical discussions, and mentorship, ensuring a strong understanding of formal methods across engineering teams.
• Engage in ongoing learning and collaboration with internal teams and external research communities to drive innovation in formal verification and compliance.
• Report on your work, in the form of blog posts, technical report documents, presentations at internal seminars, as well as at workshops and conferences, and/or by contributing to academic papers.
• Contribute property-based tests, both for testing properties of the executable specifications/prototypes, and for verifying production code against the executable specifications.
• Contribute to the implementation, extension, and maintenance of custom static analysis tooling.
• Work in an international team across multiple time zones.
• Break down large and complex tasks assigned to you into workable items, and work on them independently.

Requirements

Who you are:

• A higher degree in Computer Science or a related field
• A minimum of 2-3 years of experience in a functional language, preferably Haskell
• Experience working and collaborating with Git
• Experience with one or more formal methods 
• Experience in one or more of the domains we are working in -- networking, distributed systems, programming language design, blockchain applications -- would be a bonus.
• Ability to define and refine requirements for Plutus smart contracts with precision and clarity.
• Proficiency in conducting safety and threat analyses to identify potential failure modes and propose effective mitigation strategies.
• Competence in identifying and addressing attack vectors with appropriate security measures or justifying their improbability.
• Expertise in defining formally provable or testable properties to prevent identified failure modes.
• Strong capability in reviewing Plutus smart contract implementations (PlutusTx or Plutarch) and ensuring conformance to safety, liveness, and security properties.
• Ability to verify the correctness and security of both imported and internally developed Plutus libraries.
• Experience in contributing to the creation and maintenance of formal models demonstrating correctness.
• Skill in working cross-functionally with developers, system engineers, and domain experts to integrate formal methods into the development lifecycle.
• Ability to mentor junior engineers in the application of formal methods and best practices.
• Proficiency in communicating complex formal concepts effectively to both technical and non-technical stakeholders.
• Strong documentation skills for maintaining comprehensive records of formal verification processes, findings, and results.
• Demonstrated ability to work on difficult problems in a self-driven way.
• Understanding of Plutus smart contracts and the Cardano blockchain.
• Strong understanding of safety and threat analysis methodologies.
• Ability to identify and mitigate security vulnerabilities in smart contracts.
• Experience with Plutus, Haskell, and formal verification techniques.
• Strong knowledge of formal methods, security analysis, and property-based testing.
• Deep thinking, problem solving and analytical skills. 
• Ability to translate complex research concepts into clear, structured formats for engineering teams.
• Ability to identify discrepancies in research and provide constructive feedback to refine specifications.
• Deep understanding of theoretical inputs with the ability to convert them into practical implementations.
• Be versatile and enjoy a fast-paced, ever-changing environment.
• Be a savvy problem solver.
• Ability to explain complex concepts in documents and presentations.

Are you an IOGer?

Do you find yourself questioning the status quo? Do you tinker with ideas and long to turn those ideas into solutions? Are you able to spark thoughtful debates, bringing out the inquisitiveness in others? Does the promise of continuously growing excite you? Then get ready to reimagine everything you thought wasn’t possible because that’s what it means to be an IOGer - we don’t set limits, we break them. 

Benefits

• Remote work
• Laptop reimbursement
• New starter package to buy hardware essentials (headphones, monitor, etc)
• Learning & Development opportunities
• Competitive PTO 

At IOG, we value diversity and always treat all employees and job applicants based on merit, qualifications, competence, and talent. We do not discriminate on the basis of race, religion, color, national origin, gender, sexual orientation, age, marital status, veteran status, or disability status.

Forseven is rethinking what it is to be a car company through powerful technologies and engineering excellence. A new take on an established industry, we’ve got a growing team that is knowledgeable, experienced and deeply passionate about this endeavour.

We’re seeking a NVH Lead CAE Engineer to join our rapidly growing team. Reporting to our Principal Engineer - Structural Analysis , you will be expected to liaise with the design, development, project management, commercial, prototype and production manufacturing teams, technical partners and suppliers to ensure the designs meet the requirements for timing, performance, manufacturability and cost. Additionally, you will support R&D activities and the development of tools and techniques to improve the accuracy and efficiency of the analysis department.

This pivotal role will operate in a hybrid capacity from our offices near Leamington Spa. The successful candidate will have the opportunity to work alongside some of the most visionary minds in the automotive field.

This is a rare and exciting opportunity to become part of a scale-up, where your contributions will play a crucial role in shaping the future of our forward-thinking company. With its rapid growth trajectory and dynamic nature, Forseven offers you an exceptional platform to help drive strategy as we expand into new horizons.

What you’ll do

·    Your primary responsibility will be to use Finite Element Analysis (FEA) to help guide the design and achieve component and assembly targets for noise and vibration attribute from concept to production.

·    The role will include build of full vehicle FE models and subsystems, load-case derivation, analysis set-up and execution, post-processing of results to generate design recommendations.

·    Coordinate, plan & participate in analysis and test activities to evaluate vehicles, investigate root causes and develop solutions to achieve programme requirements.

·    Lead the NVH CAE attribute and develop simulation in-house capability and guide junior member of staff.

·    Analysing test data and correlation to CAE results

·    Final vehicle sign off against in-house requirements.

Who you are

·    It is anticipated that you will be an engineer with broad amount of experience in the automotive industry. You should have an engineering degree and experience working within a team environment.

·    You will be expected to have a solid understanding of fundamental NVH theory and how to apply this to achieve programme goals. A good working knowledge of whole vehicle design and vehicle sub-systems is essential.

·    Proven success of delivering full vehicle programmes and demonstrated capability of solving NVH problems.

·    Demonstrable experience using FEA techniques to predict the noise and vibration of structures.

·    Demonstrate working on Trimmed Body analysis.

·    Competent in using Optistruct, Hypermesh, ANSA or equivalent software

·    Desirable to have experience of NVH target setting & cascading to subsystem targets.

·    Desirable to have experience of SEA techniques to predict airborne noise.

·    Clear and effective communication skills with internal and external clients.

·    Excellent problem solver, capable of thinking “outside the box”

·    Quick learner with good time management skills.

·    Ability to achieve cost, weight and technical targets within specified timescales

About Us

Forseven is building something new. By thinking differently. To create a new car company for the world.

Guided by expert leadership and powered by brilliant minds from the luxury, automotive and technology worlds, we’re committed to continuous improvement and the highest standards of quality. We promote a culture of excellence, integrity, and sustainable growth. 

Together we are establishing a new legacy. Join us.