Formal Verification Lead Engineer, Silicon Google

8.0 - 12.0 years

0 Lacs

karnataka

On-site

You will be part of a team that is focused on developing custom silicon solutions for Google's direct-to-consumer products. Your work will contribute to the innovation behind products that are loved by millions worldwide. Your expertise will be instrumental in shaping the next generation of hardware experiences, ensuring unparalleled performance, efficiency, and integration. - Collaborate with hardware architects to formalize specifications and verify system-level properties. - Create highly abstract models of different designs and ensure architectural correctness within a model and consistency across models. - Design formal verification strategies, establish properties and constraints for c...

Posted 1 week ago

AI Match Score

Apply

Artificial Intelligence Research Scientist - Python Global Logistics Solutions India Pvt. Ltd.

0.0 - 4.0 years

0 Lacs

hyderabad, telangana

On-site

The job involves designing architectures for meta-learning, self-reflective agents, and recursive optimization loops. Building simulation frameworks grounded in Bayesian dynamics, attractor theory, and teleo-dynamics. Developing systems that integrate graph rewriting, knowledge representation, and neurosymbolic reasoning. Researching fractal intelligence structures, swarm-based agent coordination, and autopoietic systems. Advancing Mobius's knowledge graph with ontologies supporting logic, agency, and emergent semantics. Integrating logic into distributed decision graphs aligned with business and ethical constraints. Publishing cutting-edge results and mentoring contributors in reflective sy...

Posted 1 month ago

AI Match Score

Apply

Mobius - AI Research Scientist - Python Mobius by Gaian

5.0 - 9.0 years

0 Lacs

hyderabad, telangana

On-site

You will be responsible for designing architectures for meta-learning, self-reflective agents, and recursive optimization loops. Your role will involve building simulation frameworks for behavior grounded in Bayesian dynamics, attractor theory, and teleo-dynamics. Additionally, you will develop systems that integrate graph rewriting, knowledge representation, and neurosymbolic reasoning. Conducting research on fractal intelligence structures, swarm-based agent coordination, and autopoietic systems will be part of your responsibilities. You are expected to advance Mobius's knowledge graph with ontologies supporting logic, agency, and emergent semantics. Integration of logic into distributed, ...

Posted 3 months ago

AI Match Score

Apply

Start Your Job Search Today

Browse through a variety of job opportunities tailored to your skills and preferences. Filter by location, experience, salary, and more to find your perfect fit.