Oracle Software Developer interview questions

nstead of (laboriously, interactively) proving the correctness of a C program w.r. t. a functional specification, one might wish to compile the functional spec directly to an imperative (C, or assembly language) program. That is, replace the box labeled with one labeled or . In that case, one would need a formally verified functional-language compiler. Several approaches have been demonstrated.

Phone interview with hiring manager, mostly technical questions. Followed by on site interview with manager and senior engineer, mix of technical and personal questions. Was offered role the following day, but did not receive contract for several weeks.