This is apparently where we still are most of the time with formal verification in industry:

ASIC IP Formal Verification Engineer

[...]

MUST-HAVE PROFICIENT EXPERIENCE AND SKILLS:

A good understanding of what goes in to a mathematical proof

A critical eye which can spot gaps in a logical argument

PREFERRED SKILLS:

Experience writing your own mathematical proofs

A good understanding of computer hardware and computer architecture

C(++)

Python

Python gets you halfway there!

Why the insistence on "mathematical" proofs? Is there a risk of confusion with another kind of proof (barring Ballmer's peak?)

aren't there a lot of scientists who still talk about empirical proof? [as synonym for "empirical evidence"]

but this is disambiguated by the context though

right, I think it would have made sense if they had just written "formal" instead of "mathematical"

I'd think "mathematical" != "formal" for them: they're trying to exclude those who shut off in the maths courses they were forced through :sweat_smile:

You will be provided with full training on cutting edge industry Formal Verification tools, and will contribute to the verifiction of industry leading graphics, and research new techniques to push out the boundaries of what can be verified formally.

OTOH, "formal proof" would probably cut off most people with PhDs in maths, let alone CS or electronic engineering

Last updated: Dec 06 2023 at 13:01 UTC