Infisical jobs

Media Fill - Aseptic Engineer United States - North Carolina - Rocky Mount posted: Posted 14 Days Ago

Senior Associate, Cloud Engineer Greece-Thessaloniki Chortiatis posted: Posted 18 Days Ago

Director, Cloud Engineering Greece-Thessaloniki Chortiatis posted: Posted 18 Days Ago

Senior Associate, Cloud FinOps Engineer Greece-Thessaloniki Chortiatis posted: Posted 2 Days Ago

Associate, Technical Information Security Enablement Greece-Thessaloniki Chortiatis posted: Posted 7 Days Ago

Technologist Ireland - Cork - Ringaskiddy posted: Posted Today

Oncology Medical Head, International 8 Locations posted: Posted Yesterday

Clinical Development Executive Medical Director, GI Oncology 6 Locations posted: Posted Yesterday

Director, Oncology AI Product & Engineering Lead 4 Locations posted: Posted Today

Security Engineer - Focused Services (Cortex) Office - Israel - Tel Aviv posted: Posted 30+ Days Ago

Applied Scientist, Agentic Automated Reasoning London, England, GBR The Agentic Automated Reasoning Group is building the next generation of software verification tools combining advances in artificial intelligence, the computational capacity of the cloud, and our deep expertise in the domain. Join us if you want to be a part of this transformational endeavor. The Strata team (https://github.com/strata-org) is seeking an applied scientist with broad interest and expertise in model checking, interactive theorem proving, programming language semantics, and generative AI. You will combine your expertise with that of your coworkers to build new tools that solve code analysis problems previously considered beyond reach. Our application areas span all the way from Infrastructure as Code to high-performance cryptography written in assembly code, while our methods span from interactive theorem proving to automated test generation. Each day, hundreds of thousands of developers make billions of transactions worldwide on AWS. They harness the power of the cloud to enable innovative applications, websites, and businesses. Using automated reasoning technology and mathematical proofs, AWS allows customers to answer questions about security, availability, durability, and functional correctness. We call this provable security, absolute assurance in security of the cloud and in the cloud. https://aws.amazon.com/security/provable-security/ Key job responsibilities - Work with customer teams to understand the nature of their software and the properties they need to establish of it. - Identify tools and methods capable of addressing the verification needs of customers, including any novel analysis capabilities required. - Use techniques spanning property-based testing to model checkers, and

Verkäufer (Athlete) (w/m/d) – 16H – NFS Fashion Fish Schönenwerd, Switzerland posted: Posted 30 Days Ago

Stagiaire Ingénieur Automatisme (H/F) Belfort posted: Posted 30+ Days Ago

Senior / Principle Security Research - Agent ML Team (Cortex) Office - Israel - Tel Aviv posted: Posted Yesterday

Sr. Applied Scientist, Agentic Automated Reasoning Group Boston, Massachusetts, USA The Agentic Automated Reasoning Group is building the next generation of software verification tools combining advances in artificial intelligence, the computational capacity of the cloud, and our deep expertise in the domain. Join us if you want to be a part of this transformational endeavor. The Strata team (https://github.com/strata-org) is seeking a Sr. Applied Scientist with broad interest and expertise in interactive theorem proving, programming language semantics, deductive verification and generative AI. You will combine your expertise with that of your coworkers to build new tools that solve code analysis problems previously considered beyond reach. Our application areas span all the way from Infrastructure as Code to high-performance cryptography written in assembly code, while our methods span from interactive theorem proving to automated test generation. Each day, hundreds of thousands of developers make billions of transactions worldwide on AWS. They harness the power of the cloud to enable innovative applications, websites, and businesses. Using automated reasoning technology and mathematical proofs, AWS allows customers to answer questions about security, availability, durability, and functional correctness. We call this provable security, absolute assurance in security of the cloud and in the cloud. https://aws.amazon.com/security/provable-security/ Key job responsibilities - End-to-end technical leadership for delivering AR solutions working backwards customer use cases. - Identify tools and methods capable of addressing the verification needs of customers, including any novel analysis capabilities required. - Use tools spanning from fuzzers, property-based testing to model checkers, and interactive theorem provers

Verkäufer (Athlete) (w/m/d) – 8.2H – NFS Fashion Fish Schönenwerd Schönenwerd, Switzerland posted: Posted 30+ Days Ago

Verkäufer (Athlete) (w/m/d) – 32.8(h) – Landquart Landquart, Switzerland posted: Posted Yesterday

Verkäufer (Athlete) (w/m/d) – 8.2(h) – Landquart Landquart, Switzerland posted: Posted Yesterday

Principal Embedded Crypto Software Developer (m/f/d) 4 Locations posted: Posted Yesterday

Converse Verkäufer/in – 37.5H - CFS Neumünster Neumunster, Germany posted: Posted 17 Days Ago

Ingénieur Automatisme H/F Belfort posted: Posted 30+ Days Ago

Ingénieur Méthodes Procédés H/F Bourogne posted: Posted Yesterday

Ingénieur Méthodes Outillages H/F Belfort posted: Posted Yesterday

Container as a Service Engineer - OpenShift 4 Locations posted: Posted Yesterday