formal methods jobs in Chicago

About The Role What if your deep mathematical training could directly shape how AI reasons about proofs — pushing the boundaries of what machines can verify, understand, and automate? We're looking for mathematicians with hands-on experience in formal proof systems to translate rigorous human arguments into machine-verifiable Lean 4 formalizations....

Tax Consulting And Advisory ServicesWe are the leading provider of professional services to the middle market globally, our purpose is to instill confidence in a world of change, empowering our clients and people to realize their full potential. Our exceptional people are the key to our unrivaled, culture and talent experience and our ability to be...

At KPMG, you can become an integral part of a dynamic team at one of the worlds top tax firms. Enjoy a collaborative, future-forward culture that empowers your success. Work with KPMGs extensive network of specialists; enjoy access to our Ignition Centers, where deep industry knowledge merges with cutting-edge technologies to create innovative tax solutions....

Data Analyst PositionIf you love high profile and challenging projects supporting the US Army, then Serco has a great opportunity for you!As a Data Analyst you will be part of the Global Logistics Augmentation and Support Services (GLASS) team supporting Army Sustainment Command (ASC) at Rock Island Arsenal. Bring your expertise and collaborative skills to...

We are the leading provider of professional services to the middle market globally, our purpose is to instill confidence in a world of change, empowering our clients and people to realize their full potential. Our exceptional people are the key to our unrivaled, culture and talent experience and our ability to be compelling to our clients. You'll find an...

Take your engineering expertise to new heights by joining a team of exceptionally talented professionals and solidify your place among top performers in the industry. As aPrincipal Cybersecurity ArchitectatJPMorganChase within Cybersecurity Technology and Controls, you’ll shape and evolve our cybersecurity architecture using modern cloud technologies and...

Immediate need for a talented Senior Preconstruction Manager (Mechanical) . This is a Full-time, direct hire opportunity with long-term potential and is located in Chicago, IL(Hybrid). Please review the job description below and contact me ASAP if you are interested. Job ID:26-18496 Pay Range: $150000 - $180000/annum. Employee benefits include, but are not...

Data Analyst PositionIf you love high profile and challenging projects supporting the US Army, then Serco has a great opportunity for you!As a Data Analyst you will be part of the Global Logistics Augmentation and Support Services (GLASS) team supporting Army Sustainment Command (ASC) at Rock Island Arsenal. Bring your expertise and collaborative skills to...

As a global manufacturer, we utilize our Core Values: Customer First, Respect for our Employees, Continuous Improvement and “Can-Do” Attitude, to solve our customers’ toughest problems. Performance Metrics: The role of Applications Engineer is critical in securing new business for Powell. The Applications Engineer is primarily measured on accuracy of...

Immediate need for a talented Senior Electrical Preconstruction Manager - Mission Critical . This is a Fulltime opportunity with long-term potential and is located in Chicago, IL (Hybrid) . Please review the job description below and contact me ASAP if you are interested. Job ID:26-18498 Pay Range: $150000 - $180000/annum. Employee benefits include, but...

The Company VINCI Construction Grands Projets USA (formally VINCI Construction LLC) is a subsidiary of VINCI Construction Grands Projets with its main office located in Alexandria, Virginia. The scope of the company is general contracting and construction work, along with any associated services related to large, selected Design and Build projects, either...

Job DutiesProvides movement of packages, documents, dangerous goods and/or supply support in a timely, safe and efficient manner through effective scan/load methods. This is a non-driving position (public roadways). Performs other duties as assigned.Minimum EducationNoneMinimum ExperienceNoneKnowledge, Skills and AbilitiesAble to lift 50 lbs. without...

The Marmon Group LLC As a part of the global industrial organization Marmon Holdings—which is backed by Berkshire Hathaway—you’ll be doing things that matter, leading at every level, and winning a better way. We’re committed to making a positive impact on the world, providing you with diverse learning and working opportunities, and fostering a...

Dry Cleaning Attendant Iconic architecture, a thriving culinary scene, beautifully landscaped public spaces, and world-renowned museums are just part of what draws visitors to the Windy City. At The Ritz-Carlton, Chicago, a luxury hotel set atop Water Tower Place in the historic Gold Coast, every detail contributes to an unforgettable guest experience ...

Position Summary Reporting to the Tool Room Supervisor, the Tool & Die Maker is responsible for constructing, assembling, modifying, repairing, setting up, and troubleshooting a wide variety of tools, dies, jigs, fixtures, and gauges to tight tolerances. Key Responsibilities Build, assemble, modify, maintain, and repair tools, dies, jigs, fixtures, and...

Job Description - Senior Forensic Scientist - Latent Prints (420089-1)Job DescriptionSenior Forensic Scientist - Latent PrintsJob Number:420089-1DescriptionBID/JOB ANNOUNCEMENTSenior Forensic Scientist – Latent PrintsChicago Police DepartmentBureau of Detectives/Forensic Services UnitNumber of Positions: 1This position is open to the public and all current...

Description JOB/BID ANNOUNCEMENT LEAD FORENSIC SCIENTIST-LATENT PRINTS CHICAGO POLICE DEPARTMENT Bureau of Detectives/ Forensic Services Division/Latent Print Examination Section Number of Positions: 2 (Additional vacancies possible pending budget approval) Starting Salary: $90,144 Applications for this position will be accepted from 12:00am CDT 10/16/2026...

Immediate need for a talented Senior Electrical Preconstruction Manager - Mission Critical . This is a Fulltime opportunity with long-term potential and is located in Chicago, IL (Hybrid) . Please review the job description below and contact me ASAP if you are interested. Job ID: Pay Range: $ - $ /annum. Employee benefits include, but are not limited to,...

This existing vacancy is open to candidates that reside anywhere in the U.S. or Canada, with preference for those near Chicago, IL or Toronto, ON for periodic in-person collaboration. THE OPPORTUNITY: VelocityEHS is seeking a Global Enterprise Account Manager to nurture and grow relationships with existing global enterprise customers. This role is key to...

This existing vacancy is open to candidates that reside anywhere in the U.S. or Canada, with preference for those near Chicago, IL or Toronto, ON for periodic in-person collaboration.THE OPPORTUNITY:As a Global Enterprise Account Executive at VelocityEHS, you will be responsible for acquiring new enterprise-level customers by leveraging a consultative,...