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....

RSM Tax Consulting And Advisory Services 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...

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...

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...

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...

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...

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....

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...

Position Overview We are seeking highly skilled Machine Design Engineers to support the new automated assembly system projects. Designers in this role will independently execute complex mechanical designs, collaborate closely with Project Engineers during design reviews, and contribute high‑quality technical solutions within fast-paced project timelines. ...

hackajob is collaborating with J.P. Morgan to connect them with exceptional professionals for this role. JOB DESCRIPTION Shape the future of global payments by turning complex client insights into strategies that drive meaningful product impact. As an Experience Research Vice President in the Corporate Investment Bank Payments Experience Design team, you...

Sous Chef/Commis Chef - North Park UniversityThe Commis Chef is responsible for cooking and preparing food according to recipes and production guidelines while adhering to food safety, food handling, and sanitation procedures. The individual should safely handle knives and equipment such as grills, fryers, ovens, broilers, etc. The Lead Chef may be...

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

hackajob is collaborating with J.P. Morgan to connect them with exceptional professionals for this role. JOB DESCRIPTION If you are looking for a game-changing career, working for one of the world's leading financial institutions, you've come to the right place.  As a Principal Software Engineer at JPMorganChase within the Consumer & Community...

Universal Hose and Braid is a world leader in metal hose assemblies. We are located in the South Chicagoland area. We are seeking a dynamic Quality Manager as we continue to grow. The ideal candidate must be a critical thinker who will proactively improve the customer service experience of the company. Website: Location: South Holland, IL The primary duties...

Faegre Drinker is a firm designed for clients and designed for you. We understand that our people are critical to our success and we are committed to investing in our paraprofessional, administrative and operations professionals. We are always looking for talented, service-focused individuals to join our flexible and high-performing culture. With technology...

Critical Environments Manager# **Job Description:****NOW HIRING: Critical Environments Manager****Compensation: $110,000-$120,000 per year****Job Overview** The Critical Environments Manager will be responsible for coordination and directing operations necessary to carry out contractual responsibilities between SBM and customers. This includes all necessary...

DepartmentBSD MED - Infectious Diseases - Chicago Center HIV Elimination - Data Analysts Administration About the Department The Chicago Center of HIV Elimination, embedded within the University of Chicago's main campus in Hyde Park, is located in Chicago's HIV epicenter. Of the 20 neighborhoods in the city with high annual HIV diagnosis rates (greater than...

Company DescriptionApplying for this role is straight forward Scroll down and click on Apply to be considered for this position.At Northwestern Medicine, every patient interaction makes a difference in cultivating a positive workplace. This patient-first approach is what sets us apart as a leader in the healthcare industry. As an integral part of our team,...

Company Description At Northwestern Medicine, every patient interaction makes a difference in cultivating a positive workplace. This patient-first approach is what sets us apart as a leader in the healthcare industry. As an integral part of our team, you'll have the opportunity to join our quest for better health care, no matter where you work within the...

Title: Senior Forward Deployed Engineer — Pod Lead Company: Momentuum blue, a Coforge Company Locations: NYC / Princeton, NJ / Dallas, TX / Chicago, IL / Santa Clara, CA Employment type: Full-time Domains: Banking & Financial Services, Insurance, Travel, Healthcare, Hi-Tech, Retail Momentuum blue embeds engineers directly inside client organizations...