Karl Palmskog (Feb 28 2022 at 17:08): Karl Palmskog (Feb 28 2022 at 17:08):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
Karl Palmskog (Feb 28 2022 at 17:12):Python gets you halfway there!
Pierre-Marie Pédrot (Feb 28 2022 at 17:18):Why the insistence on "mathematical" proofs? Is there a risk of confusion with another kind of proof (barring Ballmer's peak?)
Karl Palmskog (Feb 28 2022 at 17:21):aren't there a lot of scientists who still talk about empirical proof? [as synonym for "empirical evidence"]
Pierre-Marie Pédrot (Feb 28 2022 at 17:22):but this is disambiguated by the context though
Karl Palmskog (Feb 28 2022 at 17:23):right, I think it would have made sense if they had just written "formal" instead of "mathematical"
Paolo Giarrusso (Feb 28 2022 at 18:04):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:
Paolo Giarrusso (Feb 28 2022 at 18:05):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.
Paolo Giarrusso (Feb 28 2022 at 18:08):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