LEAD FORMAL VERIFICATION ENGINEER jobs in ENGLAND EUROPE, United Kingdom #2

software development lifecycle consisting of requirements analysis, design, implementation, test and verification in order... more complex problems. Roles will act independently with minimal guidance, and may act as project managers/formal mentors...

Ultra Electronics

and evaluation, automatic code generation, formal verification, and runtime monitoring for multicore and heterogeneous system-on-chip... have been gone for more than 1 year At Collins, the paths we pave together lead to limitless possibility. And the bonds...

Raytheon Technologies

to one or more of: Architecture exploration & evaluation, resource mapping & scheduling, and formal modelling & verification approaches for high... we pave together lead to limitless possibility. And the bonds we form – with our customers and with each other -- propel...

Raytheon Technologies

correction of the Defects. Implement a formal tests/inspection verification and validation process. Undertaking tests... strategy, and handover schedule for the project, prepared and developed in line with the design. Lead and co-ordinate the...

Turner & Townsend

that support the business in IT enabled change. You will also be encouraged to help support and lead the continual progression... its use and suggesting new ways of working to ensure it remains aligned to the needs of the business. Responsibilities: Lead analysis...

AVEVA

correction of the Defects. Implement a formal tests/inspection verification and validation process. Undertaking tests... strategy, and handover schedule for the project, prepared and developed in line with the design. Lead and co-ordinate the...

Turner & Townsend

to frontier projects in machine learning (ML) testing, formal verification, uncertainty quantification, ML safety monitors..., and planning tasks. Apply formal verification methods (e.g., formal reachability analysis) to prove safety properties and the...

University of Warwick

learning (ML) testing, formal verification, uncertainty quantification, ML safety monitors, and explainable AI (XAI). Your work... at . We are looking for a talented AI Researcher/Engineer to join our team dedicated to developing safe and reliable AI systems for Connected...

University of Warwick

engineer required to work in Plymouth on a large-scale infrastructure project. Experience in the defence and nuclear industries... opportunity - For our people to excel Mace is looking to employ a Quality Assurance engineer to provide technical support to the...

Mace Group