Senior Expert
il y a 2 semaines
We are a dynamic and innovative team dedicated to advancing the field of formal modeling and model verification. Our team is passionate about pushing the boundaries of formal methods and making significant contributions to the industry. We are seeking an experienced Expert to join our team and contribute to our research and development efforts. As an Expert in Formal Modeling and Model Verification, you will play a key role in our team's research and development initiatives. You will contribute to cutting-edge projects, collaborate with cross-functional teams, and help shape the direction of our research efforts. Key Responsibilities: • Expertise in formal modeling and model verification techniques such as model checking, theorem proving, and SAT/SMT solvers. • Proficient in formal modeling tools and languages, such as TLA+, Alloy, or Event-B. • Strong understanding of mathematical logic, automata theory, and formal reasoning techniques. • Conduct research in the field of formal modeling and model verification, focusing on developing innovative methodologies and techniques. • Collaborate with cross-functional teams to integrate formal methods into the development process and ensure the reliability and correctness of products. • Stay up-to-date with the latest advancements in formal methods and model verification, and apply relevant techniques to solve complex problems. • Publish research findings in reputable conferences and journals to enhance our team's academic influence. • Mentor and guide junior team members, sharing your expertise and helping them grow their skills in formal modeling and model verification. • Apply formal verification techniques in automotive, EDA, and industrial software domains, leveraging your expertise and experience in these areas. Qualifications: • Ph.D. degree in Computer Science, Electrical Engineering, or a related field, with a focus on formal methods, model checking, or verification. • 8 years of relevant work experience in formal modeling and model verification. • Strong academic background with publications in reputable conferences and journals. • Solid understanding of formal modeling languages, tools, and verification techniques. • Proficiency in programming languages such as C, C++, or Python. • Strong analytical and problem-solving skills, with the ability to think critically and propose innovative solutions. • Excellent communication skills, both written and verbal, with the ability to convey complex technical concepts to both technical and non-technical stakeholders. • Proven ability to work effectively in a team environment, collaborating with researchers, engineers, and other stakeholders. • Business acumen and the ability to align research goals with business objectives.
-
Expert React Js
il y a 1 semaine
Grenoble, France Insitoo Freelances Temps pleinInsitoo Freelance, facilitateur du freelancing depuis 2007, recherche pour son client en direct un Expert REACT JS à Grenoble ou Lyon(H/F). Contexte projet : 2ième phase d'un projet de build o Déploiement avec du script et un peu d'AWS/Ansible sur infra on premise o Complexité forte sur le module de synchro entre l'appli web (partie backend) et une appli...
-
Senior UVM Verification Engineer
il y a 2 semaines
Grenoble, France ic resources Temps pleinAre you looking for the next step in your career in UVM Verification? Would you like to learn from skilled experts in a friendly and growing environment with exciting projects? If the answer is yes, then this may be the perfect opportunity for you! I have a key requirement for an experienced/senior Verification Engineer - to work for an established company...
-
Expert React Js
il y a 1 semaine
Grenoble, France Insitoo Temps pleinBasée à Lille, Lyon, Nantes, Grenoble et Bruxelles, Insitoo Freelances est une société du groupe Insitoo, spécialisée dans le placement et le sourcing des Freelances IT et Métier. Depuis 2007, Insitoo Freelances a su s’imposer comme une référence en matière de freelancing par son expertise dans l’IT et ses valeurs de transparence et de...
-
Expert-e en Ia
il y a 6 jours
Grenoble, France Neovision Temps plein**Entreprise** Neovision est une entreprise indépendante de conseil en ingénierie, experte en Intelligence Artificielle. Localisée à Europole, à deux pas de la gare de Grenoble, Neovision a été fondée en 2014 par trois ingénieurs Ensimag. La société est composée d’une équipe jeune et dynamique d’une vingtaine de personnes partageant des...
-
Senior Web Engineer
il y a 4 jours
Grenoble, France Canonical Temps pleinJoin or sign in to find your next jobJoin to apply for the Senior Web Engineer role at Canonical3 days ago Be among the first 25 applicantsJoin to apply for the Senior Web Engineer role at CanonicalCanonical is a leading provider of open-source software and operating systems to the global enterprise and technology markets. Our platform, Ubuntu, is very...
-
Senior Software Engineer
il y a 4 jours
Grenoble, France Canonical Temps pleinSenior Software Engineer - Digital WorkplaceJoin or sign in to find your next jobJoin to apply for the Senior Software Engineer - Digital Workplace role at CanonicalSenior Software Engineer - Digital Workplace3 days ago Be among the first 25 applicantsJoin to apply for the Senior Software Engineer - Digital Workplace role at CanonicalCanonical is a leading...
-
Senior/Staff/Principal Engineer
il y a 4 jours
Grenoble, France Canonical Temps pleinJoin or sign in to find your next jobJoin to apply for the Senior/Staff/Principal Engineer role at Canonical3 days ago Be among the first 25 applicantsJoin to apply for the Senior/Staff/Principal Engineer role at CanonicalCanonical is a leading provider of open source software and operating systems to the global enterprise and technology markets. Our...
-
Responsable de Secteur Autonomie
il y a 2 semaines
Grenoble, France O2 Temps pleinLes missions du poste Marque principale du groupe Oui Care et leader français des services à la personne, O2 Care Services, leader des services à domicile en France depuis 1996 propose des services de ménage, repassage, garde d'enfants, aide aux seniors, soutien scolaire. Humaine, dynamique, experte, O2 est une véritable bouffée d'oxygène qui permet...
-
Développeur Fullstack Senior H/F
il y a 1 jour
Grenoble, Auvergne-Rhône-Alpes, France The Adecco Group Temps pleinInformations générales Entité de rattachement Nous sommes persuadés que l'Humain est au cœur de l'entreprise et de la société. Nous considérons qu'il est primordial de vous accompagner tout au long de votre carrière, que ce soit en France ou à l'international.Ainsi, rejoindre The Adecco Group, c'est mettre l'Humain au cœur de son quotidien....
-
Senior Back-End JS Engineer
il y a 4 jours
Grenoble, France CobbleWeb - The Online Marketplace Experts Temps pleinOverviewJoin to apply for the Senior Back-End JS Engineer role at CobbleWeb - The Online Marketplace Experts.This position is 100% remote.What are we looking for?Purpose-Driven: You understand how your work impacts end-users and business goals. You have a result-oriented builder’s mindset and are always curious to learn more.Complex Problem Solver: You...
