Formal semantics of programming languages pdf jobs
I'm looking for a freelancer to convert a simple text PDF to a Word document. The key purpose of this conversion is to enable editing of the content in the Word document. Key requirements: - The PDF contains only simple text, no complex formatting, tables, or images. - The Word document should be in a standard format, making the content easily editable. The ideal candidate should have: - Proven experience in similar projects - Proficiency in PDF and Microsoft Word - Attention to detail to ensure accuracy in the conversion process Please include any relevant experience and examples of your work when applying.
...solutions Work with project manager or product owner to meet specification needs Recommend software upgrades to optimize operational efficiency Collaborate with other developers to design and optimize code Create flowcharts and user guides for new and existing programs Document all programming tasks and procedures Perform routine software maintenance Qualifications: Previous experience in software development, computer engineering, or other related fields Knowledge of Java, Python, or other programming languages Familiarity with relational databases such as MySQL, Oracle, and SQL Server Deadline and detail-oriented Strong analytical and critical thinking skills ***Must Have*** Strong Java 8 with lambda expression Database table design skills Working wi...
...video chat apps. We are looking for native translators in various languages for a localization project regarding the FAQ sections of our apps. We will be sharing a Sheets file with the texts that contains HTML codes and placeholders, Therefore, this project requires a lot of close attention to detail and preferably, past experience working with HTML codes. The file has two tabs. The first one needs to be localized, while the second tab needs to be proofread. The tone of the translations should be friendly, inviting, and informal. The first tab is 1800-words-long, but a considerable amount of the answers has repetitions. The second tab is 932 words-long in English. Ideally, we will be asking you to install at least one of our apps and see the...
Help with repetitive data entry tasks. As a potential programmer, this project involves creating a local program capable of extracting a single line of data with multiple fields from a Google Sheet and transferring it to 10+ different multi-page website forms that require unique login information. Additionally, the program should generate PDF documents on the target websites based on the transferred data and save them with named files corresponding to the original Google Sheet. It is crucial to incorporate error handling, data validation, mapping, and security measures into the program. If you are interested in working on this project, please provide details of your relevant experience and approach for ensuring its successful completion. The program must be co...
hello, I am looking for someone to make me 2 patterns for Little girl's dresses. is this something you can do and send the gradation of the sizes on AO format by pdf?
...HTML code hints on all updated system parts, and we will also be adding a directory link to the navigation bar that opens up a page displaying a list of states with links and a drop-down menu featuring counties links. **Requirements:** * Expertise in PHP programming and familiarity with custom CMS systems * Experience with HTML and CSS coding * Ability to work with existing PHP framework and keep the main framework as PHP * Understanding of user login profile system and ability to implement it correctly * Ability to create a directory link in the navigation bar that opens up a new page in the same window. * Ability to create a list of states with links to corresponding counties * Ability to integrate the image gallery page from the original site ...
I'm looking for a professional who can perform a straightforward text extraction and formatting task. The job involves transforming a basic PDF document into a fully editable Word file, ensuring that all textual content is accurately transferred while keeping the original layout and formatting. Key Requirements: - The PDF document is solely text-based, without images, tables, or complex graphics. - You should be proficient in PDF to Word conversion, maintaining layout and formatting. If you're detail-oriented and have experience with similar tasks, I look forward to your proposal.
...application is a crucial legal document and hence, it's important to make sure it's error-free to the best of my ability. I'm well-versed with the process and have already filled in most of the form, I just need someone to review it for grammar and clarity. Key responsibilities include: - Re writing the - Proofreading the ECHR application form. - Ensuring the language is clear and concise. - Correcting any grammatical errors. Skills required: - Proficient in English writing. - Familiarity with legal/ formal language. - Detail-oriented with excellent proofreading skills. - Strong working knowledge of the ECHR application process. Your job is to assist me in ensuring that every aspect of the form is correctly written, and that the la...
I require a skilled electrical engineer who is experienced in PLC programming to develop new PLC programs for my project. Key Requirements: - Proficient in electrical engineering concepts - Experienced in PLC programming - Capable of developing new PLC programs The successful candidate will be able to translate my requirements into effective PLC programs that can be implemented for the project. Your expertise in electrical engineering, combined with your knowledge of PLC programming, will be crucial to the success of this project.
...developer to create a classic and elegant website for my gas station. Key features should include: - Updates on gas prices - Location and hours of operation - An 'About Us' page elaborating our history and services, complemented by contact information - A section for advertising promotions and specials that can be easily updated. The ideal freelancer for this job has a deep understanding of website layout aesthetics and seamless functionality, a keen eye for detail, and a flair for classic and elegant designs. They must also have a proven track record in delivering impressive and efficient websites. Proficiency in various coding languages like HTML, CSS, and JavaScript is a must, and experience with web design for similar industries is a plus. Addit...
I am in need of a professional who can develop a comprehensive Visa Application System to support appointments and applications for different types of visas, mostly for employment purposes. Key Requirements: - The system must be able to process 2-5 different types of visa applications. - It should support multiple European languages. - The system should handle appointment scheduling for Visa Application Centers (VFS). Ideal Skills/Experience: - Proficiency in developing web-based systems, especially appointment and application systems. - Experience in multilingual system development, especially European languages. - Knowledge of the Visa Application process and system requirements is a plus.
...Google Cloud Platform (GCP), Python programming, and SQL database management. Responsibilities: - Execute data transformation tasks using dbt - Process and analyze data using Databricks - Handle data storage and querying on Snowflake - Manage cloud platform setup and tasks on GCP - Implement Python programming for data manipulation - Write and manage SQL queries and database Ideal Skills and Experience: - Prior experience in the same field - Intermediate level expertise in dbt data transformation - Knowledge of Python and SQL - Understanding of cloud architectures, particularly Google Cloud Platform - Familiarity with Snowflake and Databricks Applicants with substantial experience are preferred as their expertise would contribute to the quality ...
I'm in need of a set of slides that will be used for a presentation. The focus of the content will be on situational leadership. The desired style for these slides is professional and formal. Key requirements: - The slides must be on the topic of situational leadership - I'm looking for a professional and formal style - The slide deck should be concise, informative, and visually engaging - The number of slides needed is less than 10 - the Slides need to explain what Situational Leadership is and then create a breakout workshop to discuss the content Ideal Skills and Experience: - Strong background in creating professional and formal slide decks - Experience in designing educational or workshop materials is a ...
I'm looking for someone who can edit videos for me. If you can also plan for videos, that'd be great, but for now I am looking for someone to edit videos. Here are example of videos that I like the styles of: Looking for someone who can preferrably speak different languages like Spanish and Chinese. Also I am not looking to spend a large amount of money in the beginning, something per video or a reasonable amount is what I am looking for - so if your charges are higher than the market value, respectfully save your time.
I require proficient excel skills to create two distinct spreadsheets. The first spreadsheet should focus on an immediate expense breakdown, specifically highlighting repair costs as an individual category. Knowledge in business accounting would be advantageous to ensure accurate representation of financial data. The second spreadsheet requires a CAPEX table, based on an example I will provide in PDF format. Freelancers will ideally have: * Expertise in Microsoft Excel * Background in accounting or financial planning * Detail-oriented and able to follow a provided example * Ability to create easy-to-understand, visually appealing spreadsheets Please assure that the work is precise and completed on time.
I'm looking for a skilled developer to create a chat responder for WhatsApp. Key Features: - **Multilingual Support**: The responder should be able to handle multiple languages. - **Varied Response Types**: It should generate predefined text responses and also dynamic responses based on user input. The ideal candidate for this project should: - Have experience working with chatbot development on various platforms, particularly WhatsApp. - Be proficient in programming languages that support dynamic text generation. - Be able to implement multilingual support effectively.
I need a skilled professional to assist me in installing Ubuntu 20.04 as a dual boot system on my Linux Mint laptop. This job will require: • Thorough understanding of Linux operating systems and dual boot set ups • Proficiency in partitioning hard drives and configuring boot loaders • Experience with Ubuntu 20.04 and Linux Mint Additionally, I require programming tools to be installed alongside Ubuntu. The right candidate should therefore be familiar with popular and necessary tools used for programming in a Linux environment.
I'm in search of a skilled video editor to work on my projects which are typically 5-10 minutes in length. Requirements: - Experience in Cinematic style video editing is desired. - Proficiency in various editing techniques such as color grading, slow motion, and animated text. - Ability to work on videos of 5-10 minutes. This role would suit someone with an eye for detail, creative flair, and a strong understanding of narrative structure. Please provide examples of your previous work that align with these requirements.
We have one upcoming project for which we need PLC programmer for 3 days who must know programming and maintenance.
...experienced Python developer to critically analyze and enhance the efficiency of an existing Python code that I've been using for data analysis. The main areas to be addressed are: 1. Performance Enhancement: - Faster execution time - Ability to deliver more accurate results 2. User Flow Improvement: - Enhanced user interface for better interaction - Smoother transitions between functions - Clearer error messages to ease the debugging process 3. Additional Capability: - Incorporate built-in data visualization features to the code. Ideal skills and experience for this job include advanced Python programming, proficiency in data analysis and visualization libraries, and a solid understanding of user interface design principles. Your ability ...
I need a professional translator who can help me tra...from English to Zulu and Xhosa. The content is about 160 words, and I am looking for a formal tone in both translations. Please, no google or GPT translation. Key Requirements: - Translate a short abstract from English to both Zulu and Xhosa - Ensure the translation is formal in tone - Maintain the original meaning and style of the text -This is a biblical and church text; you need to be familiar with the terminology. Ideal Freelancer: - Native speaker of Zulu and Xhosa - Proven experience in translation, especially in formal contexts - An understanding of the nuances and cultural differences between languages - Familiarity with the subject matter of the content (if possible) ...
I need a basic floor plan converted into an editable PDF. I have attached a screenshot from Google Images showing the site layout of the school grounds which I'd like included in the floor plan. Here's what the task involves: - Convert the basic floor plan to an editable PDF format - Incorporate the external site layout, including parking areas, playgrounds, roads, and green spaces - Ensure the floor plan is suitable for labelling more than 20 classroom names The final deliverable should be a comprehensive, easy-to-edit PDF that will allow me to label the classrooms myself. Please ensure the external site features are accurately represented. I'm looking for a freelancer who has experience in drafting and converting floor plans and is proficien...
I want someone who can convert my pdf file to word file
Task: Redesign the attached floor plan. Requirements: - 2 Foyers (North Entrance and South Entrance) - 4 Bedrooms - 1 Kitchen (same location) - 2 Bathrooms (same location) - Dining Room - Living Room 2D furniture sample for each room. Notes: - Structural columns are marked with red circles. - The locations of the North and South Entrances, Kitchen, and 2 Bathrooms are fixed. Please include the code printed on the attached PDF of the current plan in your proposal to confirm that the project details have been thoroughly reviewed. Thank you.
I'm in need of an Excel developer who can aid me in analyzing data, creating advanced formulas and functions, and programming macros. With your expertise, the primary goal is to develop an Excel file that will be used to generate various reports. Ideal Skills and Experiences: - Proficient in Excel data analysis and manipulation - Experienced in creating advanced formulas and functions - Able to implement macro programming - Adept in generating insightful reports from complex data Our goal is to provide you with an exportable dashboard in Excel, a tool that will efficiently display opportunity details per property and provide a dedicated area for your notes. Opportunities that meet the threshold should display the value. The dashboard should be sortable and prov...
...project we are currently looking for a Senior SAP PP Functional Consultant for TKE project (f/m/d) - Spain Roles & Responsibilities: • Facilitate the implementation and support of SAP PP ECC Roll-outs. • Perform detailed analysis of complex local business process requirements and provide appropriate system solutions; identify, interpret, validate and document customer requirements. • Facilitate workshops to collect local business requirements. • Map client business requirements, processes and objectives; develops necessary product modifications to satisfy clients' needs. • Design, customize, configure and testing of PP. • Identify gaps, issues and work around solutions. • Act as liaison with client for troubleshooting: i...
I have a project that involves exporting a question paper to PDF format in two columns with alignment. The purpose of this task is to facilitate the printing of the question paper. Key Elements: - The question paper is in Latex format. - The script was written in Laravel and uses Vue.Js and Inertia.Js. - The PDF should feature a two-column layout with proper alignment. - The header and footer should include page numbers and a custom logo or school name. I am looking for a skilled developer who has experience with Laravel and Vue.Js, as well as the ability to work with Latex and PDF files. The ideal candidate should have a strong understanding of layout design for PDFs, and be able to demonstrate experience with similar projects. The project has a...
Hi, I have built a SCARA robot-arm, but need someone to help me to arrange electronics (RPI. ESP32, OPI) and software for it. 3 if its axes are driven by closed-loop stepper motors, each with its own internal driver and encoder and CANBUS connection. Another axis for vertical ...standard travel path and deliver will have it own as well. The differences is how it hooks into the container and unhooks it. So 2 slightly different paths, and 34 fixed "end points" I prefer to hire per hour as this project can grow. Lowest bid wins as this is a poor startup project. Please don't us AI to generate your reply, but write me a personal reply and let me know your rough ideas and thoughts of how this can be archived. Start your reply with "Ahloa PEter" to confirm that ...
Please Update the Prestashop to the last Stabile Version. Take Care and do a Backup, also we do it.. try to keep the current theme and programming Make sure that at least the following modules are still running after the upgrade DHL, PPL shipping service provider, payment functions... just the important ones to rebuild a store operation. Complete Check for funktion and improvements - old Theme must Working fine inkl. ABO function - All Modules must working or update, grade - Design is in all sites ok - Currency and Payment function fine.
I'm currently looking for a professional to help me upload my book on Amazon KDP. The book is self-authored, but I'm unsure about the format - it might be a Word document, PDF, or EPUB. I need assistance with formatting the book for Kindle, as well. The ideal candidate for this job should: - Have experience with the Amazon KDP platform - Be familiar with formatting requirements for Kindle - Have excellent attention to detail - Be able to work independently - Have strong communication skills
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> >>>>>>>>>>> Start your proposal with, "I have adobe acrobat pro and I can do scripting on PDF file" if you want to win this project. >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> I'm looking to enhance my PDF form by incorporating interactive buttons using JavaScript. These buttons should allow users to submit form data to a web server. Key Points: - Implement interactive buttons in t...
...APIs and be proficient in C++ programming. Functionality: - The REST API should focus on data retrieval and manipulation. - User authentication and authorization are required for this project, using existing APIs Database: - Although I don't have an existing database, I have specifications for it. - The API should connect to the specified MySQL database based on the provided specifications. Timeline: - The expected timeline for the project is more than 3 weeks. Skills and Experience: - Proficiency in C++ programming language and POCO framework - Strong knowledge and experience in developing REST APIs. - Familiarity with MySQL database connectivity and management. - Ability to understand and implement specifications for the database. Please provide examples of...
I'm looking for an experienced developer who can provide live demos of HDFC Bank API for payments and collections. Key Requirements: (but not limited) - Demonstrating Payment Processing: The ideal candidate should be able to showcase how the API facilitates payment processing in a seamless and secure manner. - Highlighting Fund Transfers: You should also be able to perform real-time fund transfers using the API, demonstrating its efficiency and reliability. - Showcasing Transaction History: Exhibiting the functionality of the API in retrieving transaction history, including relevant details and data. Technical Details: - Programming Language: While I have no specific preference. - Must have used the API. If you are confident in your ability to deliver a compre...
I am in need of a skilled expert to develop and set up a computer vision program to process a batch of SD video cards. This program will undertake a couple of key tasks: - Image Classification - Object Detection In terms of output, I require the processed videos to generate a Metadata file, which ideally is formatted into an Excel or CSV file. This data should include details such as date, time, classification, and direction. While I do have an Azure account for hosting and I am comfortable with it, I am also open to suggestions on which programming language would be the best fit for this project. The ideal freelancer for this task should possess the following skills and experience: - Proficiency in Python, C++, or Java - Familiarity with Microsof...
I'm in need of an experienced Arduino ESP32 developer who can create a software for me. This software should primarily support GPS and LTE communications for the purpose of tracking and navigation. The device is a and I can supply a testing device to you. The code has to open 2 simultaneous connections to the SIM7670G chip on the ESP32 at the same time. On port1, it has to read the GPS position every second and build up at Lat Long Array in memory. When this gets to 60 points, it triggers another 'thread' to create a polyine of these points and then sends this polyline to a server using TCPIP. Note that while the TCP Send is in progress which can take up to 10 seconds, the other thread is still catching the GPS points every second, so we
I'm looking for a Java developer who's experienced with Spring framework to help me with a critical issue. The role-based security for the endpoints in my web applica...developer who's experienced with Spring framework to help me with a critical issue. The role-based security for the endpoints in my web application needs to be fixed. Key tasks: - Review the current role-based security implementation. - Identify any vulnerabilities or misconfigurations. - Fix any issues, and enhance the security measures. Ideal skills and experience for the job: - Strong Java programming skills. - Proficient in Spring framework. - Expertise in web application security. Your main goal will be to ensure the endpoints in the application are properly secured and only accessible to user...
I have a PDF call log that I need digitized and transformed into an Excel spreadsheet. The document consists of approximately 238 pages, and I require the following: - Organization: Calls, texts, and data should be separated into distinct columns in the spreadsheet. - Data Layout: The information should be laid out in an ordered manner which we will discuss further. Additional requirements include: - Calculations: The Excel sheet should include specific calculations like total call duration and data used. - Data Fields: The "To/From", "City", and "Time" fields should be organized in distinct columns within the spreadsheet. Ideally, I'm looking for a freelancer with: - Proficiency in PDF to Excel conversion. - Strong organizational...
I'm seeking an exper...developer who can help me with a project involving parsing a set of mixed data structures from text files. The data is not overly complex, but it does contain a variety of structures. The size of the files is less than 1 GB. Your responsibilities will predominantly include: - Developing a Python script to parse the text data - Converting the parsed data into JSON format Ideal skills for this task include: - Strong Python programming skills - Experience in parsing text data - Background in working with JSON data - Ability to handle mixed data structures - Understanding of efficient file handling methods, for processing less than 1GB of data If you have a proven track record in similar projects and can showcase a deep u...
Requirements 6+ years of experience in full stack software development Comprehensive computer science fundamentals in coding, object-oriented programming, data structures, and algorithms Experience in client side development using ReactJS, Javascript, AngularJS, or other modern programming language Experience building and developing large-scale user facing web applications 8+ years of experience in full stack software development BS/MS/PhD in Mathematics, Computer Science, Physics, related technical field or equivalent practical experience Responsibilities We're working on building an efficient marketplace of jobseekers and employers and need full-stack engineers to build fast, scalable, and effective applications that help connect people to t...
I need an experienced Java developer to examine and fix our endpoints' security features. Currently, we are using JWT for authentication, but we need to verify and test the 'Admin', 'User', and 'Superviso...JWT for authentication, but we need to verify and test the 'Admin', 'User', and 'Supervisor' roles. Key Tasks: - Test and verify security features for 'Admin', 'User', and 'Supervisor' roles - Ensure endpoints work correctly for each role - Fix any identified security issues Ideal Skills: - Strong background in Java programming - Proficiency in endpoint security - Experience with JWT authentication - Ability to troubleshoot and fix security issues - Excellent understanding of role-...
I'm in need of a skilled 3D modeler to create a detailed 3D model of my flat for interior design visualization purposes. I will provide you with the floor plan for the property. Your task will involve: - Creating a 3D model of the entire flat, including all rooms and spaces using my suggestions - Incorporating furniture and fixtures into the model - Applying appropriate textures and materials to surfaces - Setting up lighting and shadows for a realistic visualization The level of detail required for this project is high, which means you'll need to include small decorative items in your design. Ideal skills and experience for this job include: - Proficiency in 3D modeling software - Experience in creating detailed interior design visualizations - A...
i want to be data entry job use word, pdf , excel , PowerPoint , and any type of graphic design work . i have 3 years teaching experience with data collection , data entry , and graphics design . i have fully and wonderful experience in Microsoft office , excel, PowerPoint , photoshop , illustrator, CorelDRAW, filora
...EPSON machines (CW-C6500Ae and TM-C7500) with a specific template. Key Deliverables: - Development of an API that can interface with FACTUSOL to collect necessary data for label generation. - Creation of a template for the labels that includes product information like name, description, barcode, SKU, price, and quantity. The template should also incorporate our company logo. - The system should be able to convert the generated labels into PDF format for printing on the specified EPSON models. Ideal Skills and Experience: - Proficiency in Java, Python, and C# for the API development. - Prior experience in integrating with FACTUSOL or similar ERP systems would be highly beneficial. - Knowledge of EPSON printing mechanisms and capabilities. - Experience in des...
I'm looking for an experienced AI developer to build a functional chatbot for a Telegram platform. The chatbot should be capable of providing automated responses to user inquiries. Here's what I am looking for: - In-depth experience in AI, specifically chatbot development. - Knowledge in programming languages suitable for chatbot development such as Python, Java, etc. - Familiarity with the functionalities and technical requirements of a Telegram platform. - Ability to thoroughly test the chatbot to ensure optimal chatbot functionality and user interaction. If you have a demonstrated history in creating successful chatbots, particularly within Telegram, I would love to hear from you.
...California Association of REALTORS® (C.A.R.). This person will work in a team to design, develop, and support mission critical applications. The ideal candidate would be an expert in .NET MVC development using C#, and have experience developing and interfacing with SQL Server databases. The Application Developer creates, maintains, supports, extends and operates computer applications that serve the C.A.R. membership, the general public, and C.A.R. internal staff. The application portfolio is very broad ranging from communication tools to mobile applications, internal data processing applications, database applications, and applications that support our members’ specific business. The Application Developer is responsible for ensuring uninterrupted availability and prope...
I'm in need of a code expert who has experience in creating APIs for Autodesk Revit in C#. This project involves integrating a queue system into the API that works with all versions of Revit. Key Requirements: - Expertise in C# and Autodesk Revit API: You should have a deep understanding of C# programming language and experience working with the Autodesk Revit software. - Queuing System Development: The main task in this project is to design a queue system that allows users to create, manage tickets and get notifications and alerts. Your task will be to: - Develop an API that works with all versions of Autodesk Revit - Implement functions for creating, modifying and deleting elements in Revit - Design and integrate a user-friendly queue system th...
I'm seeking an experienced professional who can help me create a PDF form with fillable fields. The primary purpose of this form is to collect data. The form will consist of between 1-3 pages, which will include a variety of fillable fields for users to input information. The key fields that I need are Text fields, Checkboxes and Dropdown menus. It’s crucial that the form is user-friendly, professional and efficiently captures the necessary data. Ideal skills and experience: - Proficiency in creating fillable PDF forms - Understanding of data collection requirements - Ability to design user-friendly and professional forms - Strong knowledge in Text fields, Checkboxes and Dropdown menus. If you have prior experience in creating sim...
I'm in need of a competent software developer skilled in the programming languages Java, C#, or Python. This upcoming project specifically involves creating a software that generates QR codes. For this project, you should: -Key Responsibilities: 1. Design a software that efficiently creates QR codes. 2. Ensure the QR codes generated can encode URLs. -Required Skills and Experience: 1. Proficient in Java, C# or Python programming languages. 2. Familiar with QR Code generation and URL encoding. The primary function of the encoded URL in the generated QR codes is to redirect users to a particular website. Therefore, your software should guarantee the QR codes created, when scanned, redirects users smoothly and swiftly to the website in questio...
Need an android app to generate a pdf document. We have following fields to fill up and also et the end we need to be able to add a signature. - number - date - name - id series -id number - personal identification number - city - address - county - starting date - net income - gross income need to be able to generate pdf and also email option to send directly to email and print option
