MountainViewRecruiter Since 2001
the smart solution for Mountain View jobs

Research Engineer, Program Validation/Verification

Company: X, the moonshot factory
Location: Mountain View
Posted on: November 22, 2021

Job Description:

X is Alphabet's moonshot factory. We are a diverse group of inventors and entrepreneurs who build and launch technologies that aim to improve the lives of millions, even billions, of people. Our goal: 10x impact on the world's most intractable problems, not just 10% improvement. We approach projects that have the aspiration and riskiness of research with the speed and ambition of a startup.About the team:One of X's confidential projects is looking for new team members interested in building the future of software engineering. The team at X is experimenting with new ways to build, maintain, and innovate software systems using state of the art approaches. If you are interested in making the world a radically better place by improving software productivity and unleashing more engineering creativity, we want to talk to you! How you will make 10x impact:Explore novel approaches (ML and/or symbolic) to optimize software productivity through maximizing trust/confidence via correctness assuranceRapidly develop prototypes to evaluate feasibilityWork cross-functionally with experts at X (and from Alphabet and academia) to apply, modify, and develop new algorithms and software tools as the project demandsBuilt infrastructure for program analysis and correctness checkingWhat you should have:A fast learner and strong coding skills (preferably in multiple languages)Solid software engineering skills and passionate about SWE productivityMS/PhD in Computer Science, or equivalent fieldFamiliarity with programming language theory/practices and/or static code analysisFamiliarity with formal methods, software validation and verificationAbility to work in a small team / rapid prototyping environment and deal with uncertainty and fluidityIt'd be great if you also had these:Applied machine learning experience; aptitude in TensorFlow/JaxFamiliarity with programming language theory, static and dynamic analysisTrack record of publications in venues like POPL, CAV, PLDI, OOPSLA etc.Experience working in a startup environment

Keywords: X, the moonshot factory, Mountain View , Research Engineer, Program Validation/Verification, Engineering , Mountain View, California

Click here to apply!

Didn't find what you're looking for? Search again!

I'm looking for
in category

Log In or Create An Account

Get the latest California jobs by following @recnetCA on Twitter!

Mountain View RSS job feeds