Applied Scientist Intern @ Automated Reasoning Group (AWS)

Internship description and application here –>www.amazon.jobs/jobs/943766 The Automated Reasoning Group in AWS Platform is looking for PhD Interns interested in formal methods and programming languages. Using automated reasoning technology and mathematical proofs, AWS allows customers to answer questions about security, availability, durability, and functional correctness. We call this provable security, absolute assurance in security of Read More …

Fully-Funded PhD position on Probabilistic Verification @ Utah State University

A PhD position is available (fully paid for 4 years with the possibility of extension) at the Electrical and Computer Engineering Department of Utah State University. The expected starting date is early January 2020. PhD application information is available at: https://engineering.usu.edu/ece/files/pdfs/ece-graduate-program-application-info.pdf Abstract: Synthetic biology and nanotechnology place increasing demands on design methodologies to ensure dependable and robust operation. Consisting Read More …

Software Engineer @ Google – Static Code Analysis and Program Analysis

We forward this job posting received by a Google Recruiter for a position as Software Engineer with experience in Static Analysis in Silicon Valley, CA, USA: Google aspires to be an organization that reflects the globally diverse audience that our products and technology serve. We believe that in addition to hiring the best talent, a Read More …

Share with the CAV community

Would you like to share any study material or do you have any announcements regarding job openings, conferences, scholarships, …? We are happy to publish your ideas and information here on CAVlinks! Please contact us using this form.

Read More …