ZipRecruiter

Log In

1

Internship Architecture Research Jobs (NOW HIRING)

Calstart

Zero-Emission Data & Research Intern

$19 - $21/hr

This internship offers the opportunity to work within the Global Commercial Vehicle Drive to Zero ... The intern will support the Working Group's efforts to extend the program's policy architecture ...

IMEG

Landscape Architecture Intern

Long Island, ME · On-site

$22 - $24/hr

... internship with real project work alongside experienced landscape designers, landscape architects, and other land development professionals. You will contribute to exhibits, plans, research, site ...

next page

Showing results 1-20

All JobsArchitecture Research JobsInternship Architecture Research Jobs

Internship Architecture Research information

See salary details

$2.1K

$6.4K

$7.8K

How much do internship architecture research jobs pay per month?

As of Aug 17, 2026, the average monthly pay for internship architecture research in the United States is $6,439.50, according to ZipRecruiter salary data. Most workers in this role earn between $4,416.67 and $7,666.67 per month, depending on experience, location, and employer.

What is the difference between Internship Architecture Research vs Architecture Intern?

AspectInternship Architecture ResearchArchitecture Intern
Required CredentialsBasic knowledge of architecture, research skills, possibly some coursework in architecture or designEnrolled in architecture or related degree program, basic design skills
Work EnvironmentResearch labs, academic settings, design studios, collaborative projectsArchitectural firms, design studios, construction sites, office environments
Employer & Industry UsageUniversities, research institutions, architecture firms focusing on innovationArchitectural firms, design companies, construction industry

In summary, Internship Architecture Research focuses on exploring architectural concepts, theories, and innovative design research, often within academic or research settings. In contrast, an Architecture Intern typically gains practical experience by assisting in real-world architectural projects within firms. Both roles serve as entry points but differ in their focus on research versus practical application.

More about Internship Architecture Research jobs

What cities are hiring for Internship Architecture Research jobs?

Cities with the most Internship Architecture Research job openings:

What are the most commonly searched types of Architecture Research jobs?

The most popular types of Architecture Research jobs are:

What states have the most Internship Architecture Research jobs?

States with the most job openings for Internship Architecture Research jobs include:

What job categories do people searching Internship Architecture Research jobs look for?

The top searched job categories for Internship Architecture Research jobs are:

Internship Architecture Research jobs near you
Infographic showing various Internship Architecture Research job openings in the United States as of August 2026, with employment types broken down into 1% Internship, 1% As Needed, 87% Full Time, 9% Part Time, and 2% Contract. Highlights an 87% Physical, 4% Hybrid, and 9% Remote job distribution, with an average salary of $77,274 per year, or $37.2 per hour.

Systems Verification & Concurrent Kernel Architecture Research Intern

NIO

San Jose, CA

$38 - $46/hr

Full-time

Re-posted 15 days ago

Job description

JOB DESCRIPTION

About NIO

NIO is a pioneer and a leading company in the premium smart electric vehicle market. Founded in November 2014, NIO's mission is to shape a joyful lifestyle. NIO aims to build a community starting with smart electric vehicles to share joy and grow together with users.

NIO designs, develops, jointly manufactures and sells premium smart electric vehicles, driving innovations in next-generation technologies in autonomous driving, digital technologies, electric powertrains and batteries. NIO differentiates itself through its continuous technological breakthroughs and innovations, such as its industry-leading battery swapping technologies, Battery as a Service, or BaaS, as well as its proprietary autonomous driving technologies and Autonomous Driving as a Service, or ADaaS.

NIO's product portfolio consists of the ES8, a six-seater smart electric flagship SUV, the ES7 (or the EL7), a mid-large five-seater smart electric SUV, the ES6, a five-seater all-round smart electric SUV, the EC7, a five-seater smart electric flagship coupe SUV, the EC6, a five-seater smart electric coupe SUV, the ET7, a smart electric flagship sedan, and the ET5, a mid-size smart electric sedan.

The Mission
Transitioning a kernel from a monolithic "Big Kernel Lock" to fine-grained concurrency is a high-risk engineering challenge. Traditional testing is mathematically incapable of catching the non-deterministic "Heisenbugs" inherent in parallel execution. This internship is a 3-month intensive study to determine the practical limits of using automated formal methods to guarantee the safety of concurrent kernel primitives.
The Challenge: The "Logic-to-Silicon" Gap
You will navigate the intersection of low-level systems grit and formal rigor to bridge three volatile domains:
Concurrency: Managing state-space explosion when multiple cores access shared kernel objects simultaneously.
Memory Models: Ensuring locks respect the weak consistency and instruction reordering of ARMv8/RISC-V hardware.
Automated Proof: Using SMT-based tools to achieve high-assurance "push-button" verification without the years-long overhead of manual theorem proving.
Roles and Responsibilities
  • Design Logic (TLA+/Spin): Formalize locking protocols to mathematically prove the absence of deadlocks and circular waits.
  • Implementation Audit (ESBMC/CBMC): Apply Bounded Model Checking to C source code to exhaustively scan for data races, pointer safety, and invariant violations.
  • Hardware Mapping: Verify the placement of memory barriers to prevent hardware-level synchronization failure on modern CPUs.
  • AI-Augmented Scaling: Leverage LLMs as an "Inference Engine" to synthesize formal invariants and environment harnesses, then critically audit the results for logical soundness.
Qualifications
  • Currently pursuing or completed a PhD or Master's degree in Computer Science, Computer Engineering, Applied Mathematics, or a related field with relevant research projects and publications.
  • Low-Level Systems Mastery: Deep proficiency in C; ability to reason about memory alignment, volatile keywords, and hardware interrupts. You should be comfortable reading ARMv8 assembly to ensure compiler optimizations haven't compromised synchronization.
  • Concurrent Intuition: A visceral understanding of L1/L2 cache coherency (MESI), lock hierarchies, and why a "correct" C program can fail on weak-memory hardware if barriers are missing.
  • Formal & Logical Rigor: The ability to model software as a discrete state-machine. You should prefer a "proof of absence" (no bugs exist) over a "proof of presence" (one test passed).
  • The Researcher's Grit: Persistence in the face of "state space explosion" or cryptic model-checker errors. You must be a detective capable of pruning models to find one-in-a-billion interleaving failures.

Compensation:

The US base salary range for this full-time position is $38.00 - $46.00.

  • Within the range, individual pay is determined by work location and additional factors, including job-related skills, experience, and relevant education or training.

  • Please note that the compensation details listed in US role postings reflect the base salary only. It does not include discretionary bonus, equity, or benefits.

Apply