Graduate FV engineer opportunity in the TPU team

We have just opened a req for a Graduate Formal Verification Engineer:

Formal Verification Engineer, University Graduate, BS/MS 

The role is for recent (within 1 year) or soon-to-be BS/MS graduates. 

Could you please help me share the announcement with your students?

If you are interested, could you please apply online and let me know that you've applied?

Adriana Maggiore <amaggiore@google.com

Comments

Post a Comment

Popular posts from this blog

New Career Tool for UF Students: Portfolios + Job Board

  What ZenHire Does: ZenHire goes beyond static resumes by giving students a verified, live portfolio  — one shareable link that: Showcases projects, research, skills, and experience in a polished way. Strengthens resumes by adding a trusted, professional digital profile. Lets students choose from 65+ professional templates and share instantly  with recruiters, on LinkedIn, or in applications. Includes a personalized job board (demo available now) with single-click apply  — no more filling out the same applications repeatedly. Provides a referral system for job applications (demo available now)  — making it easier to secure referrals in one place instead of chasing across multiple platforms.   ZenHire  ( zenhire.app ), As early users, UF students get lifetime free access . Many don’t yet have portfolios, and this makes it simple to create one in minutes — while als...
Read more

PhD Opportunities in Agentic AI and AI Security— Seeking Strong CE/CS Candidates ECE

PhD Opportunities in Agentic AI and AI Security— Seeking Strong CE/CS Candidates I am seeking highly motivated PhD students with a strong background in agentic AI , AI Security, vulnerability assessment, with preferably computer engineering background . Students with experience in hardware–software systems, intelligent agents, or AI for security are especially encouraged to apply. If you are interested in pursuing a PhD in this area, please contact Prof. Mark Tehranipoor  at tehranipoor@ufl.edu  with your CV and a brief statement of your research interests. I look forward to hearing from you. ========================================   Thanks.  ----------------------------------------------------------------------- Mark Tehranipoor, PhD, UF Distinguished Professor Fellow of IEEE, ACM, NAI, AAIA, AIIA, ASEMFL Sachio Semmoto Chair, ECE Department  Intel Charles E. Young Preeminence Endowed Chair Professor in Cybersecurity   ...
Read more

Revamped UF Thesis and Dissertation Template!

Image
  Updated Thesis and Dissertation Template Now Available Online! You can find the new template and updated resources on both our and UFIT’s website. Dear Graduate Students, Faculty, and Staff, We're thrilled to announce that UFIT has updated the Thesis and Dissertation template to streamline the formatting process for our graduate students! If you're just starting to format, please use the latest template. If you have already been using our template? Don’t stress! We will continue accepting thesis and dissertation submissions using the previous version of template through the end of Summer 2026. Formatting resources for versions are will be available on our website and UFIT’s website . New template: https://it.ufl.edu/helpdesk/graduate-resources/ms-word--latex-templates/ Video tutorials on formatting: https://it.ufl.edu/helpdesk/graduate-resources/online-tutorials/ Sample pages: https://success.grad.ufl.edu/t...
Read more