P# is an extension of the C# programming language designed for writing high-level specifications of asynchronous event-driven systems. It provides language constructs for modeling and managing concurrency, enabling developers to write, test, and verify the correctness of complex systems more effectively.
About P#
P# was developed by researchers at Microsoft Research in 2014 to address the challenges of writing reliable asynchronous event-driven systems. It extended C# with constructs for modeling concurrency, aiming to simplify the development and verification of complex software systems.
Strengths of P# included its ability to model and manage concurrency effectively, facilitating the development and verification of complex asynchronous systems. Weaknesses involved its niche use case and limited adoption outside specialized domains. Competitors included other concurrency-focused languages and frameworks like Akka.NET, Erlang, and Go.
Hire P# Experts
Work with Howdy to gain access to the top 1% of LatAM Talent.
Share your Needs
Talk requirements with a Howdy Expert.
Choose Talent
We'll provide a list of the best candidates.
Recruit Risk Free
No hidden fees, no upfront costs, start working within 24 hrs.
How to hire a P# expert
A P# expert must have strong proficiency in C#, a deep understanding of asynchronous programming, and experience with concurrent and event-driven system design. They should also be skilled in formal verification techniques and familiar with the P# language constructs and runtime environment.

Samuel S.
Skills
An organized professional with a sharp logical mindset, dedicated to continuous improvement and progress through the application of technology. Emphasizing scalable and maintainable operations, there is a strong commitment to the study and application of clean code and clean architecture concepts. Core programming principles such as SOLID, DRY, and KISS are integral to the consistent coding methodology. A deep passion for programming drives a dedication to achieving high-quality code, with particular satisfaction derived from the process of refactoring to enhance results.

Thiago H.
Skills
As a Software Engineer, experience is focused on full-stack development for a leading cloud-based business procurement solution. Utilizing technologies including Java, Spring Boot, HTML/CSS, TypeScript, and Angular, high-quality features and functionality are delivered. Collaboration with cross-functional teams, application of agile software development practices, and participation in design and architecture decisions are key aspects of the role.
Currently pursuing a Bachelor's degree in Computer Science, with an academic journey complementing practical experience in the software industry. This education includes fundamental concepts and principles of computer science such as data structures, algorithms, databases, and software engineering.
A lifelong learner, with a passion for innovation and creative problem-solving in the dynamic field of software engineering, there is a continuous drive to expand knowledge and skills while exploring exciting new opportunities.

Lucas B.
Skills
System Developer holding a degree conferred in July 2020, with four years of professional experience including internships and contractual roles. Specialized in the development and maintenance of Ruby on Rails applications since graduation.

Dewilson D.
Skills
A Fullstack PHP Developer with five years of web application development experience, adept in handling various projects and frameworks. Specializes in the maturation of legacy systems and the construction of new applications, including the generation of modules and functionalities.

Luís P.
Skills
Senior Software Engineer with a focus on enhancing coding processes and quality among team members. Experienced in providing guidance and sharing expertise to foster a collaborative and efficient coding environment.

Lucas H.
Skills
An experienced developer with seven years of specialized expertise in back-end development. The professional exhibits a profound passion for programming challenges and a consistent eagerness for skill acquisition. There is a strong adherence to exemplary programming practices, including SOLID principles, Clean Code, DRY (Don't Repeat Yourself), and YAGNI (You Aren't Gonna Need It). The core technologies of specialization are .NET (C#) and NodeJS, complemented by the capability to address front-end tasks employing ReactJS or Blazor.

Edson C.
Skills
Senior Fullstack Developer with extensive expertise in planning, writing, and delivering software solutions, combined with a commitment to enhancing user satisfaction and adding value. Possesses a comprehensive background in fullstack development utilizing TypeScript, JavaScript, Vue, Angular, React, and Node.js. Demonstrates advanced capabilities in frontend development with Vue, Angular, and React, as well as mobile application development using Flutter. Proficient in backend development with Node.js, C#, and Golang. Holds substantial experience with relational databases such as MySQL, PostgreSQL, and Oracle, along with a strong understanding of NoSQL databases like MongoDB and DynamoDB. Skilled in working with frameworks including Express, NestJS, and Fastify. Demonstrates proficiency in version control with Git and GitHub, and exhibits familiarity with cloud environments, particularly AWS, and its various services such as EC2, S3, AWS Lambda, RDS, API Gateway, and CloudFormation. Well-versed in agile methodologies, specifically Scrum, Lean, and Kanban.

Erik M.
Skills
A qualified software developer with proficiency in multiple programming languages, including SQL, Java, Perl, Dart, and Kotlin, and expertise in frameworks like Flutter, SpringBoot, SpringData, and SpringCloud. Extensive experience with relational databases such as MySQL, SQLite, and PostgreSQL, as well as NoSQL databases like Firebase. Specialized skills in version control, particularly with Git and Jira. Demonstrates a strong interest in technology through the development of game applications using Unity3D and Unreal Engine 5. Possesses considerable knowledge and experience in the topology and operations of 2G, 3G, and 4G mobile and radio networks. Actively seeks opportunities to enhance skills and knowledge while leveraging existing expertise in innovative projects.
*Estimations are based on information from Glassdoor, salary.com and live Howdy data.
USA
$ 224K
Employer Cost
$ 127K
Employer Cost
$ 97K
Benefits + Taxes + Fees
Salary
The Best of the Best Optimized for Your Budget
Thanks to our Cost Calculator, you can estimate how much you're saving when hiring top LatAm talent with no middlemen or hidden fees.