<http://schema.org/description>
"...A bachelor's degree and 7 years of professional work experience (or a master's degree and 5 years of professional work experience, or a PhD degree) is required.\n\nAdditional Qualifications\n\nThe ideal candidate will have the following minimum qualifications\n\nM.S. or PhD in computer science or a closely related engineering field\n\n2+ years software development experience working with large code bases\n\nExperience with formal verification technologies (e.g. SAT/SMT, model checking, theorem proving,..."^^<http://www.w3.org/2001/XMLSchema#string>
<https://tapwage.com/company/cisco/hardware/jobs>