The page you are requesting does not exist. You can start your search here!

370 proof-checking-postdoc-computerscience uni jobs at Virginia Tech

  • Virginia Tech | Blacksburg, Virginia | United States | 16 days ago

    . Administrative Support to Associate/Assistant Dean, Directors and Chair • Meeting coordination • Written correspondence • Proof reading and editing • Phone support • Scheduling coordination and management • Travel

  • Virginia Tech | Newport News, Virginia | United States | about 2 months ago

    . The successful candidate is expected to work closely with our collaborators, including other postdocs and students. The position will be based full time at Jefferson Lab, Newport News, VA. Note that

  • Virginia Tech | Blacksburg, Virginia | United States | 16 days ago

    areas: formal verification, proof assistants and verification tools, binary/program analysis, or compilers. - Strong expertise with formal methods tools (e.g., theorem provers, SMT solvers, model checkers

  • Virginia Tech | Blacksburg, Virginia | United States | about 2 months ago

    of mutual interest. Required Qualifications - PhD in computer science or computer engineering with background and expertise in any of the following areas are sought: formal verification, proof assistants and

  • Virginia Tech | Blacksburg, Virginia | United States | 15 days ago

    The successful candidate will be required to have a criminal conviction check as well as a driving check with a safe driving record. Applicants must be authorized to work in the U.S. without the need for visa

  • Virginia Tech | Arlington, Virginia | United States | 16 days ago

    candidate will be required to have a driver's license check with an acceptable and safe driving record. The successful candidate will be required to have a criminal conviction check. About Virginia Tech

  • Virginia Tech | Blacksburg, Virginia | United States | 15 days ago

    Hours per week 29 Review Date 01/30/2026 Additional Information The successful candidate will be required to have a criminal conviction check. About Virginia Tech Dedicated to its motto, Ut Prosim (That I

  • Virginia Tech | Blacksburg, Virginia | United States | 16 days ago

    tractors with attachments, rototillers, chainsaws, weed eaters, small power and hand tools. Performs daily routine maintenance such as checking oil and fluid levels, inspecting belts, sharpening blades

  • Virginia Tech | Blacksburg, Virginia | United States | 16 days ago

    detailing the applicant’s prior teaching experience (if applicable) and fit with the job description, School, and Virginia Tech’s Principles of Community , A list of three references (names, address, phone

  • Virginia Tech | Blacksburg, Virginia | United States | 15 days ago

    experience Hours per week 40 Review Date January 30, 2026 Additional Information The successful candidate will be required to have a criminal conviction check as well as a driving check with a safe driving

Enter an email to receive alerts for proof-checking-postdoc-computerscience positions