Current jobs related to Formal Methods Researcher - Mountain View - RiverPoint

  • Formal Methods Researcher

    2 months ago

    Mountain View, California, United States RiverPoint Full time

    Job OverviewRiverPoint is seeking a highly skilled Formal Methods Researcher to join our team. As a key member of our research team, you will be responsible for conducting hands-on research on high-assurance connected software systems using formal methods and design by contract concepts.Key ResponsibilitiesResearch and DevelopmentConduct research on...

  • Software/Enterprise Mix-Method Researcher

    4 weeks ago

    Mountain View, United States US Tech Solutions Full time

    Duration: 7 months contract Job Description:Client is looking for UX Researcher with expertise in survey design for Enterprise/Software Products. Responsibilities:Design, execute, socialize learnings on new product experience Collaborate with XFN partners to identify research prioritiesCollaborate with XFN partners to apply learnings to product, design, and...

  • Software/Enterprise Mix-Method Researcher

    4 weeks ago

    Mountain View, United States US Tech Solutions Full time

    Duration: 7 months contract Job Description:Client is looking for UX Researcher with expertise in survey design for Enterprise/Software Products. Responsibilities:Design, execute, socialize learnings on new product experience Collaborate with XFN partners to identify research prioritiesCollaborate with XFN partners to apply learnings to product, design, and...

  • Software/Enterprise Mix-Method Researcher

    4 weeks ago

    mountain view, United States US Tech Solutions Full time

    Duration: 7 months contract Job Description:Client is looking for UX Researcher with expertise in survey design for Enterprise/Software Products. Responsibilities:Design, execute, socialize learnings on new product experience Collaborate with XFN partners to identify research prioritiesCollaborate with XFN partners to apply learnings to product, design, and...

  • Software/Enterprise Mix-Method Researcher

    2 weeks ago

    mountain view, United States US Tech Solutions Full time

    Duration: 7 months contract Job Description:Client is looking for UX Researcher with expertise in survey design for Enterprise/Software Products. Responsibilities:Design, execute, socialize learnings on new product experience Collaborate with XFN partners to identify research prioritiesCollaborate with XFN partners to apply learnings to product, design, and...

  • UX Researcher

    3 weeks ago

    Mountain View, California, United States Tik Tok Full time

    About the RoleWe are seeking a highly skilled UX Researcher to join our User Research Insights team at TikTok USDS. As a UX Researcher, you will be responsible for designing and implementing UX mixed-methods research studies, analyzing user research data, and synthesizing findings into actionable insights that enable stakeholders to make business-critical...

  • UX Researcher

    5 months ago

    Mountain View, United States Bayone Full time

    Bachelor's degree in Human-Computer Interaction, Cognitive Science, Statistics, Psychology, Anthropology, related field, or equivalent practical experience. 5 years of experience in an applied research setting, or similar. Experience with research design utilizing various methods (e.g., usability studies, contextual inquiry, surveys, etc.). Relevant product...

  • Research Scientist

    3 weeks ago

    Mountain View, California, United States JUUL Labs Full time

    Product Development Research AssistantWe are seeking a highly motivated and detail-oriented Research Assistant to join our Product Development team in the Chemistry group at JUUL Labs. The successful candidate will be responsible for executing critical product characterization testing of electronic nicotine delivery systems (ENDS) and assisting with the...

  • User Experience Researcher

    2 weeks ago

    Mountain View, California, United States Google Full time

    About the RoleAt Google, we're committed to creating products that delight and serve our users. As a User Experience Researcher, you'll play a critical role in helping us achieve this goal.As a member of our UX team, you'll work closely with designers, product managers, and engineers to understand user needs and behaviors. You'll conduct independent research...

  • UX Researcher

    1 week ago

    Mountain View, California, United States Dexian - DISYS Full time

    Job Title: UX ResearcherJob Summary:We are seeking a skilled UX Researcher to join our team at Dexian - DISYS. As a UX Researcher, you will be responsible for designing, executing, and socializing learnings on new product experiences. You will collaborate with XFN partners to identify research priorities and apply learnings to product, design, and ranking...

  • Research Scientist

    2 weeks ago

    Mountain View, California, United States JUUL Labs Full time

    Job Title: Research Assistant, ChemistryWe are seeking a highly motivated and detail-oriented Research Assistant to join our Product Development team in the Chemistry group at JUUL Labs. As a key member of our team, you will be responsible for executing critical product characterization testing of electronic nicotine delivery systems (ENDS) and assisting...

  • UX Researcher

    4 weeks ago

    Mountain View, California, United States Signature Consultants Full time

    Job Title: UX ResearcherAt Signature Consultants, we are seeking a highly skilled UX Researcher to join our team. As a UX Researcher, you will play a critical role in designing, executing, and socializing learnings on new product experiences.Key Responsibilities:Conduct foundational and tactical qualitative research (e.g., interviews, diary studies) to gain...

  • Qualitative UX Researcher

    2 weeks ago

    Mountain View, United States Akraya Full time

    Primary Skills: Qualitative Research-Expert, Quantitative Research-Intermediate, R/Python-Intermediate, ANOVA-Intermediate, Qualtrics-Intermediate Contract Type: W2 or C2C Duration: 6 month + Location: CA - 100% Rmote (#LI-Remote) Pay Range: 54/hr - 63/hr #LP Looking for User Experience Researchers (UXRs) specialized in mixed methods research, with a heavy...

  • Research Geophysicist

    2 months ago

    Mountain View, United States U.S. Department of the Interior Full time

    Job Description (Please follow all instructions carefully) Summary This is not a remote position. Telework may be approved in accordance with the DOI Telework policy and supervisor approval. Research Positions: The full performance level for a Research position is GS-15; however, promotion eligibility is dependent upon the scientific...

  • UX Researcher

    4 weeks ago

    Mountain View, United States Judge Group, Inc. Full time

    Location: Mountain View, CA Salary: $100.00 USD Hourly - $120.00 USD Hourly Description: Title: UX Researcher Location: Mountain View CA Duration: 8+ months Contract Job Details: Education: MA or PhD in Social Science (eg. psychological, social psychology, sociology, anthropology, economics, etc).5+ years experience as a UX Researcher for software...

  • UX Researcher

    3 weeks ago

    Mountain View, California, United States Dexian Full time

    Job Title: UX ResearcherAt Dexian, we are seeking a highly skilled UX Researcher to join our team. As a UX Researcher, you will play a critical role in designing, executing, and socializing learnings on new product experiences.Key Responsibilities:Conduct foundational and tactical qualitative research (e.g., interviews, diary studies)Conduct foundational and...

  • UX Research Associate III

    2 weeks ago

    Mountain View, California, United States US Tech Solutions Full time

    Job Title: Quantitative User Experience ResearcherAbout the Role:We are seeking a skilled Quantitative User Experience Researcher to join our team at US Tech Solutions. As a Quantitative User Experience Researcher, you will play a critical role in helping us understand user needs and behavior through empirical research methods such as survey research and...

  • Senior UX Researcher

    2 weeks ago

    Mountain View, California, United States Tik Tok Full time

    About the RoleTikTok USDS User Research Insights team is seeking a talented UX Researcher to create knowledge and provide insight surrounding the attitudes, perceptions, behaviors, and ways of thinking of various TikTok user classes. The ideal candidate will have a strong curiosity and enthusiasm for conducting applied behavioral science...

  • Senior UX Researcher

    3 weeks ago

    Mountain View, California, United States Tik Tok Full time

    About the RoleWe are seeking a highly skilled Senior UX Researcher to join our User Research Insights team in the US. As a key research partner for the Global Payments team, you will lead mixed methods research endeavors to further our knowledge of user and creator experience relating to e-commerce onboarding, payments, transactions, and related...

  • UX Researcher 2

    2 weeks ago

    Mountain View, California, United States Pyramid Consulting Full time

    Job Title: UX Researcher 2Job Summary: We are seeking a talented UX Researcher 2 to join our team at Pyramid Consulting, Inc. The ideal candidate will have a strong background in user experience research and a passion for designing innovative solutions.Key Responsibilities:Plan and design UX research studies to inform product development and improve user...

Formal Methods Researcher

5 months ago

Mountain View, United States RiverPoint Full time
Job DescriptionJob DescriptionThe candidate will be performing hands-on research on high-assurance connect car system assurance using formal methods and design by contract concepts. Research areas include high-assurance connected software architecture & software engineering, dependable connected software platform, system assurance, and model based systems engineering (MBSE). PRIMARY PERFORMANCE RESPONSIBILITIES
  • Research on High-Assurance Connected Software Architecture & Software Engineering including:
    • Contract-based architecture, contract-based design, formal contract languages;
    • Automatic formal verification;
    • Runtime verification and runtime monitoring;
    • Correctness-by-construction;
    • Automatic abstraction (bottom-up) and decomposition (top-down) of system specifications.
  • Occasional driving of test vehicles to conduct experiments.

Occasional driving of test vehicles to conduct experiments therefore this candidate will need to be local QUALIFICATIONS & REQUIRED SKILLS
  • Ph. D (preferred) or Masters in Computer Science, Electrical Engineering, Computer Engineering, or related field.
  • 2+ years of research experience in formal verification and/or software engineering.
  • Proficiency in formal verification tools, e.g., theorem prover tools, model checking tools, etc.
  • Knowledge of computer systems, embedded systems, and systems and software engineering.
  • Knowledge of Model Based Systems Engineering (MBSE) and Verification & Validation (V&V) concepts
  • Knowledge of programming and scripting languages, e.g., Java, Python, etc.
  • Research prototype development skills.
  • Ability to engage in general research activities, e.g., planning, time management, and team building.
  • Ability to work independently as well as within a highly motivated team environment.
  • Excellent interpersonal and communication skills