Talent.com
Formal Methods Researcher

Formal Methods Researcher

MSR Technology GroupMountain View, CA, US
30+ days ago
Job type
  • Full-time
Job description

Job Description

Job Description

The 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
    • Create a job alert for this search

    Researcher • Mountain View, CA, US

    Related jobs
    • Promoted
    Remote Finance Advisor - AI Trainer

    Remote Finance Advisor - AI Trainer

    Data AnnotationGilroy, California
    Remote
    Full-time +1
    We are looking for a finance professional to join our team to train AI models.You will measure the progress of these AI chatbots, evaluate their logic, and solve problems to improve the q...Show moreLast updated: 30+ days ago
    • Promoted
    Associate Director, biostatistician / methodology

    Associate Director, biostatistician / methodology

    The Lotus Group LLCHayward, CA, United States
    Full-time
    Position : Biostatistics / Data Science Lead (Can be remote).Biostatistics / Data Science leader.Gilead’s drug development programs. This role combines technical excellence in R and data engineering wi...Show moreLast updated: 1 day ago
    • Promoted
    FlexPLM Product Manager

    FlexPLM Product Manager

    ITC InfotechMorgan Hill, CA, US
    Full-time
    ITC Infotech is a leading global technology services and solutions provider, led by Business and Technology Consulting.ITC Infotech provides business-friendly solutions to help clients succeed and ...Show moreLast updated: 3 days ago
    • Promoted
    Associate Director, biostatistician / methodology (Fremont)

    Associate Director, biostatistician / methodology (Fremont)

    The Lotus Group LLCFremont, CA, US
    Part-time
    Position : Biostatistics / Data Science Lead (Can be remote).Biostatistics / Data Science leader.Gileads drug development programs. This role combines technical excellence in R and data engineering wit...Show moreLast updated: 1 day ago
    • Promoted
    Director Biostatistics (Fremont)

    Director Biostatistics (Fremont)

    Barrington JamesFremont, CA, US
    Part-time +1
    Director Biostatistics - Biotech - ( Onsite).Barrington James is proud to partner with a highly respected, well established biotech client, seeking an experienced Director Biostatistics to join the...Show moreLast updated: 9 days ago
    • Promoted
    Remote Financial Planner - AI Trainer

    Remote Financial Planner - AI Trainer

    Data AnnotationWatsonville, California
    Remote
    Full-time +1
    We are looking for a finance professional to join our team to train AI models.You will measure the progress of these AI chatbots, evaluate their logic, and solve problems to improve the q...Show moreLast updated: 30+ days ago
    • Promoted
    Remote Financial Analyst - AI Trainer

    Remote Financial Analyst - AI Trainer

    Data AnnotationWatsonville, California
    Remote
    Full-time +1
    We are looking for a finance professional to join our team to train AI models.You will measure the progress of these AI chatbots, evaluate their logic, and solve problems to improve the q...Show moreLast updated: 30+ days ago
    UX Researcher, Mixed Methods Job at Meta in Burlingame

    UX Researcher, Mixed Methods Job at Meta in Burlingame

    MediabistroBurlingame, CA, United States
    Full-time
    Overview UX Researcher, Mixed Methods role at Meta.This range is provided by Meta.Your actual pay will be based on your skills and experience — talk with your recruiter to learn more.Role summary ...Show moreLast updated: 30+ days ago
    • Promoted
    Customs and Border Protection Officer - Experienced (GS9)

    Customs and Border Protection Officer - Experienced (GS9)

    U.S. Customs and Border ProtectionDavenport, CA, US
    Full-time
    Customs and Border Protection (CBP) offers those interested in a career in law enforcement an exceptional opportunity to work with an elite team of highly trained professionals whose camaraderie, p...Show moreLast updated: 6 days ago
    • Promoted
    Research Associate, In-Vitro / Stem Cell

    Research Associate, In-Vitro / Stem Cell

    Hydrogen GroupSan Mateo County, CA, United States
    Full-time
    Support the team in establishing in vitro models of age-related neurodegenerative diseases aimed at target validation and mechanistic biology. Optimize existing protocols for iPSC-derived cell model...Show moreLast updated: 1 day ago
    • Promoted
    Remote Finance Director - AI Trainer

    Remote Finance Director - AI Trainer

    Data AnnotationWatsonville, California
    Remote
    Full-time +1
    We are looking for a finance professional to join our team to train AI models.You will measure the progress of these AI chatbots, evaluate their logic, and solve problems to improve the q...Show moreLast updated: 30+ days ago
    • Promoted
    Remote Senior Financial Analyst - AI Trainer

    Remote Senior Financial Analyst - AI Trainer

    Data AnnotationLivermore, California
    Remote
    Full-time +1
    We are looking for a finance professional to join our team to train AI models.You will measure the progress of these AI chatbots, evaluate their logic, and solve problems to improve the q...Show moreLast updated: 30+ days ago
    • Promoted
    • New!
    Quality Control Associate

    Quality Control Associate

    KellyGilroy, CA, United States
    Permanent
    Kelly® Science & Clinical is seeking a Quality Control Associate for a direct hire opportunity with a leading pharmaceutical company in Gilroy, CA. If you are driven by the prospect of translating c...Show moreLast updated: 17 hours ago
    • Promoted
    RF / Microwave Test Technician

    RF / Microwave Test Technician

    Ultimate StaffingMorgan Hill, CA, US
    Permanent
    Ultimate Staffing is hiring for an amazing company in Morgan Hill, CA! This company is a global pioneer for producing the world's first wireless telephone network. Direct Hire or Contract-to-Hire.PT...Show moreLast updated: 5 days ago
    • Promoted
    Sr. Statistical Programmer (Fremont)

    Sr. Statistical Programmer (Fremont)

    Redbock - an NES Fircroft companyFremont, CA, US
    Part-time
    A thriving Bay area biotech company is looking for an experienced Senior Statistical Programmer to support their team.This is an exciting, long-term opportunity with a leading company in one of the...Show moreLast updated: 22 days ago
    • Promoted
    Market Research Contributor (Fremont)

    Market Research Contributor (Fremont)

    Prime InsightsFremont, CA, United States
    Full-time
    Join thousands of members already earning with top-paying surveys and offers.Get started today and enjoy competitive rewards, fast payouts with no waiting periods, and the flexibility to participat...Show moreLast updated: 7 days ago
    Sr. Mixed Methods Researcher - Intuit Futures Team : 25-03664

    Sr. Mixed Methods Researcher - Intuit Futures Team : 25-03664

    Akraya IncMountain View, California, United States
    Full-time
    Quick Apply
    Primary Skills : Research (Expert), Analytics (Advanced), Leadership (Advanced), Communication (Expert), Collaboration (Advanced). Join the dynamic Intuit Futures team as a Senior Mixed Methods Resea...Show moreLast updated: 30+ days ago
    • Promoted
    Sr. Statistical Programmer

    Sr. Statistical Programmer

    Redbock - an NES Fircroft companyHayward, CA, United States
    Full-time
    A thriving Bay area biotech company is looking for an experienced Senior Statistical Programmer to support their team.This is an exciting, long-term opportunity with a leading company in one of the...Show moreLast updated: 22 days ago