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