A leading technology company in the UK seeks a formal verification engineer to collaborate with design engineers on formal micro-architecture specifications. The role includes developing formal models, executing verification plans, and proof construction. Ideal candidates hold an MS or PhD in a relevant field and possess strong mathematical skills. Opportunities for growth in formal verification methodologies exist within a collaborative environment that values diverse perspectives.
#J-18808-Ljbffr